diff options
| author | Martin Whitaker <mageia@martin-whitaker.me.uk> | 2018-08-10 20:08:02 +0100 |
|---|---|---|
| committer | Martin Whitaker <mageia@martin-whitaker.me.uk> | 2018-08-10 20:08:02 +0100 |
| commit | d5a9c00d5c161169ea5a997d59056eac41a2bfba (patch) | |
| tree | fc3fcfeb496f57a2ddcca350ec6691bfcfe19cd6 /menu/icons/mini/sound_section.png | |
| parent | 4aecb756954ecc4411dc738895f3d366beb4825e (diff) | |
| download | common-data-d5a9c00d5c161169ea5a997d59056eac41a2bfba.tar common-data-d5a9c00d5c161169ea5a997d59056eac41a2bfba.tar.gz common-data-d5a9c00d5c161169ea5a997d59056eac41a2bfba.tar.bz2 common-data-d5a9c00d5c161169ea5a997d59056eac41a2bfba.tar.xz common-data-d5a9c00d5c161169ea5a997d59056eac41a2bfba.zip | |
Update link to freedesktop menu spec DTD.
This fixes a fatal error when running xmllint. xmllint still warns it
can't fetch the DTD, but that's because libxml doesn't support https:
https://bugzilla.gnome.org/show_bug.cgi?id=791220
Diffstat (limited to 'menu/icons/mini/sound_section.png')
0 files changed, 0 insertions, 0 deletions