Rodrigo Arias Mallo e5561b8735 control: save total execution time		2021-02-08 14:14:08 +01:00
..
default.nix	Add manual and update the garlic tool	2020-11-05 19:31:21 +01:00
garlic	control: save total execution time	2021-02-08 14:14:08 +01:00
garlic.1	Use the trebuchet only to specify an experiment	2020-11-09 17:46:11 +01:00