diff options
author | Cyril Roelandt <tipecaml@gmail.com> | 2013-08-15 17:19:57 +0200 |
---|---|---|
committer | Cyril Roelandt <tipecaml@gmail.com> | 2013-08-15 19:30:21 +0200 |
commit | 1b50671ee18d3412251980c7d8a4528b10f18e73 (patch) | |
tree | 58ee1ef46df4b536d746d0ee3d7f73f2cd2c3d90 /gnu | |
parent | 2ad6bfaba8189256f6eb75913c9f24f0135184db (diff) | |
download | guix-1b50671ee18d3412251980c7d8a4528b10f18e73.tar guix-1b50671ee18d3412251980c7d8a4528b10f18e73.tar.gz |
list-packages: remove useless "language" attribute of "script" element
See http://www.w3.org/TR/html5-diff/#changed-attributes for more information.
* build-aux/list-packages.html (insert-js): remove "language" attribute, useless for the
"script" element.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions