diff options
| author | John Darrington <jmd@gnu.org> | 2014-07-13 17:08:55 +0200 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2014-07-16 06:28:01 +0200 |
| commit | a6639cf7f294e4ca53522666d644c64c53d46861 (patch) | |
| tree | 2ff4a7121f6ecf755a2f667221a2409e3d0257a0 /ChangeLog | |
| parent | 1cac3de66076dea19cfe0d8027c9f3c61e2f0c2e (diff) | |
| download | patches-a6639cf7f294e4ca53522666d644c64c53d46861.tar patches-a6639cf7f294e4ca53522666d644c64c53d46861.tar.gz | |
gnu: docbook-xml: Substitute remote xml_catalog uris with local ones.
* gnu/packages/docbook.scm: substitute remote uri with local ones.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions