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 /gnu/packages/terminals.scm | |
| parent | 51058cb2324d979c5f54fcc4005dfbfe2e0345ee (diff) | |
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 'gnu/packages/terminals.scm')
0 files changed, 0 insertions, 0 deletions