2 Commits

Author	SHA1	Message	Date
Phuntsok Drak-pa	1d014a20a7	better shell script	2018-11-27 15:19:12 +01:00
Phuntsok Drak-pa	5c596ea613	added script to get average runtime of release	2018-11-27 14:56:58 +01:00