]> git.wh0rd.org - nano-editor.git/commitdiff
add the 'lang' attribute, and drop the mistaken "generator" thing
authorBenno Schulenberg <bensberg@telfort.nl>
Fri, 6 Dec 2019 11:54:21 +0000 (12:54 +0100)
committerBenno Schulenberg <bensberg@telfort.nl>
Fri, 6 Dec 2019 11:54:21 +0000 (12:54 +0100)
Also elide a <div> and tweak some padding whitespace.


No differences found