commit | 48e4d87489c1e8ba6c77b7ed6217eb3c9ea519bc | [log] [tgz] |
---|---|---|
author | Mark Wielaard <mark@klomp.org> | Thu Jul 11 20:05:42 2019 +0200 |
committer | Mark Wielaard <mark@klomp.org> | Fri Jul 12 01:50:11 2019 +0200 |
tree | f8645e91011812fa26a12b5400de5be424a6c92a | |
parent | d0b47bde0e2f5bae7502ca55b80ab006523db820 [diff] |
manual: Add id to legalnotice. Otherwise the generated HTML will have a different randomly generated name id which generates spurious diffs.