Rodrigo Arias Mallo 4beb069627 WIP: postprocessing pipeline ... Now each run is executed in a independent folder		2020-11-03 19:09:59 +01:00
..
default.nix	WIP: postprocessing pipeline	2020-11-03 19:09:59 +01:00
hist.sh	WIP: postprocessing pipeline	2020-11-03 19:09:59 +01:00