diff options
Diffstat (limited to 'gnu-system.am')
| -rw-r--r-- | gnu-system.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu-system.am b/gnu-system.am index ada903e705..8865df5110 100644 --- a/gnu-system.am +++ b/gnu-system.am @@ -698,6 +698,7 @@ dist_patch_DATA = \ gnu/packages/patches/texi2html-document-encoding.patch \ gnu/packages/patches/texi2html-i18n.patch \ gnu/packages/patches/tidy-CVE-2015-5522+5523.patch \ + gnu/packages/patches/tinyxml-use-stl.patch \ gnu/packages/patches/torsocks-dns-test.patch \ gnu/packages/patches/tvtime-gcc41.patch \ gnu/packages/patches/tvtime-pngoutput.patch \ |