4 Commits

Author	SHA1	Message	Date
Philip Eisenlohr	be0668dc27	fixed all affected shell scripts	2020-09-03 11:19:19 -04:00
Martin Diehl	0ad189ea9d	not needed anymore	2020-08-08 18:18:32 +02:00
Martin Diehl	ebaae151f5	not directly related to DAMASK	2020-06-26 22:03:42 +02:00
Martin Diehl	7a74a9ed10	cleaning for release	2020-06-15 15:31:09 +02:00