diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-26 15:58:55 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-26 17:21:30 +0100 |
| commit | a5c71d158d1e407d61c668861bb9bc8142e6752e (patch) | |
| tree | 459503c97eb9c35906890d0fcf4ed2c4b21bb082 /.gitignore | |
| parent | b1eaede03b443e3e87f688d032ed99049f3463f9 (diff) | |
| download | patches-a5c71d158d1e407d61c668861bb9bc8142e6752e.tar patches-a5c71d158d1e407d61c668861bb9bc8142e6752e.tar.gz | |
gnu: html-xml-utils: Update to 7.5.
* gnu/packages/xml.scm (html-xml-utils): Update to 7.5.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions