Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-01-30 | use url instead of uri consistently | Florian Dold | |
2016-04-11 | implementing #4357, but test missing | Christian Grothoff | |
2016-04-10 | fixing #4386: use more sane configuration and data file structure | Christian Grothoff | |