2 Commits

Include renames

Author	SHA1	Message	Date
Maxime Gimeno	fe7d83d67e	Add a test to replace an empty number of processors by 1 and move --timeout sooner in the options to prevent an eventual other parsing error.	2019-08-13 10:35:35 +02:00
Maxime Gimeno	61a9c78036	Rename scripts	2019-04-29 15:38:44 +02:00