Skip to content

Commit 4a0e6f6

Browse files
committed
Adjust license notice per FSF recommendations
Commits 7b85462 and 937d0ab changed most file copyright notices to match FSF recommendations, but forgot one instance. Change the license notice of website/build-sizes/index.html to mention "This file is part of quick-lint-js".
1 parent 1dab20d commit 4a0e6f6

File tree

1 file changed

+21
-19
lines changed

1 file changed

+21
-19
lines changed

website/build-sizes/index.html

Lines changed: 21 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,6 @@
11
<!DOCTYPE html>
2-
<!--
3-
quick-lint-js finds bugs in JavaScript programs.
4-
Copyright (C) 2020 Matthew Glazar
5-
6-
This file is part of quick-lint-js.
7-
8-
quick-lint-js is free software: you can redistribute it and/or modify
9-
it under the terms of the GNU General Public License as published by
10-
the Free Software Foundation, either version 3 of the License, or
11-
(at your option) any later version.
12-
13-
quick-lint-js is distributed in the hope that it will be useful,
14-
but WITHOUT ANY WARRANTY; without even the implied warranty of
15-
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16-
GNU General Public License for more details.
17-
18-
You should have received a copy of the GNU General Public License
19-
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
20-
-->
2+
<!-- Copyright (C) 2020 Matthew Glazar -->
3+
<!-- See end of file for extended copyright information. -->
214
<html>
225
<head>
236
<title>quick-lint-js build sizes</title>
@@ -77,3 +60,22 @@ <h1>quick-lint-js build sizes</h1>
7760
<ul id="chart-index"></ul>
7861
</body>
7962
</html>
63+
<!--
64+
quick-lint-js finds bugs in JavaScript programs.
65+
Copyright (C) 2020 Matthew Glazar
66+
67+
This file is part of quick-lint-js.
68+
69+
quick-lint-js is free software: you can redistribute it and/or modify
70+
it under the terms of the GNU General Public License as published by
71+
the Free Software Foundation, either version 3 of the License, or
72+
(at your option) any later version.
73+
74+
quick-lint-js is distributed in the hope that it will be useful,
75+
but WITHOUT ANY WARRANTY; without even the implied warranty of
76+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
77+
GNU General Public License for more details.
78+
79+
You should have received a copy of the GNU General Public License
80+
along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.
81+
-->

0 commit comments

Comments
 (0)