diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-01 17:58:20 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-03 01:52:44 +0100 |
| commit | bc134c77e0b4406f735047409d28b2455035b195 (patch) | |
| tree | c069252162130c27dac68d4a4dcf0021a8dde27d /.dir-locals.el | |
| parent | 51058cb2324d979c5f54fcc4005dfbfe2e0345ee (diff) | |
| download | guix-bc134c77e0b4406f735047409d28b2455035b195.tar.gz | |
gnu: pugixml: Update to 1.10.
* gnu/packages/xml.scm (pugixml): Update to 1.10. [source]: Remove obsolete patch. * gnu/packages/patches/pugixml-versioned-libdir.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions