7 Commits

Include renames

Author	SHA1	Message	Date
bashrc	0990bab4d1	More recent benchmarks	2019-11-15 22:50:47 +00:00
bashrc	a5590b0ca1	Restrict to recent benchmarks	2019-11-15 22:47:20 +00:00
bashrc	3e368b26e7	Filter on ID	2019-11-15 22:20:01 +00:00
bashrc	2fb834deb9	Move script	2019-11-15 19:25:21 +00:00
bashrc	19703c0336	Change example install directory to /opt	2019-11-12 21:18:33 +00:00
bashrc	133094acdb	Better clean	2019-10-03 10:59:08 +01:00
bashrc	364d204564	Scripts directory	2019-10-03 10:55:11 +01:00