Age | Commit message (Expand) | 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 |