3 Commits

Author	SHA1	Message	Date
Florian Dold	e318edb5e5	use url instead of uri consistently	2018-01-30 01:38:04 +01:00
Christian Grothoff	c2bb85ffdd	first working version of benchmark logic	2016-06-15 22:55:01 +02:00
Christian Grothoff	c32cc081ee	misc minor stylistic fixes to benchmark tool:	2016-06-15 15:09:57 +02:00