Rodrigo Arias Mallo 776a6ca1e4 sh: add commit propagator tool		2021-05-10 17:01:54 +02:00
..
default.nix	sh: add commit propagator tool	2021-05-10 17:01:54 +02:00
fix-figure-subtitle.sh	sh: add helper script to fix the figure subtitle	2021-04-21 17:58:59 +02:00
garlic	garlic tool: improve unit status information	2021-04-16 09:29:33 +02:00
garlic-git-table	sh: Format the git table in a single attribute set	2021-04-20 17:36:33 +02:00
garlic-propagate-commit	sh: add commit propagator tool	2021-05-10 17:01:54 +02:00
garlic.1	Use the trebuchet only to specify an experiment	2020-11-09 17:46:11 +01:00