6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
RvDijk	7f865e27fe	rm more	2017-12-18 15:05:29 +01:00
RvDijk	a69b3c947a	Merge branch 'master' of https://git.webhosting.rug.nl/p275545/cpu-profiling	2017-12-18 15:04:48 +01:00
RvDijk	4d2c9d2d4c	rm artifacts	2017-12-18 15:04:43 +01:00
RvDijk	a8faca765d	update usage	2017-12-18 14:40:21 +01:00
RvDijk	2d0685c0d7	cpu profiling slurm	2017-11-30 17:34:50 +01:00
RvDijk	384447d54b	first commit	2017-11-30 17:32:44 +01:00