Hannes Mehnert
|
2db9e0c15e
|
compression level is 9 for remote (bistro/request), and 0 for local now
|
2019-10-12 02:04:44 +02:00 |
|
Hannes Mehnert
|
50ed6a8d1e
|
adapt to X509 0.7.0 API, minor comment and doc tweaks
|
2019-07-27 14:01:12 +02:00 |
|
Hannes Mehnert
|
95a46638fa
|
use cmdliner.1.0.0, especially term_result
move albatross_cli to a custom directory (command-line)
|
2019-04-08 16:41:20 +02:00 |
|
Hannes Mehnert
|
45f37389aa
|
move to dune, rename executables
|
2019-03-28 00:11:43 +01:00 |
|