-
Mattia Bondanza authored
Improved the handling of temporary directory. Now default is /tmp/BAO and you can set a different one with --tmp-directory option.
87ced199
Improved the handling of temporary directory. Now default is /tmp/BAO and you can set a different one with --tmp-directory option.