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	b018d4d5b0	implementing #4357, but test missing	2016-04-11 02:37:56 +02:00
Christian Grothoff	30d66bcebc	fixing #4386: use more sane configuration and data file structure	2016-04-10 17:10:20 +02:00