aboutsummaryrefslogtreecommitdiffstats
path: root/github-open-all-outdated-comments.user.js
diff options
context:
space:
mode:
authorTeddy Wing2017-12-07 22:04:17 +0100
committerTeddy Wing2017-12-07 22:04:17 +0100
commit5565ee114e3efb4837627555d3db66ffea317be5 (patch)
tree520060a0225175d79a48a4efe5049eb695ca8332 /github-open-all-outdated-comments.user.js
parentfe09ad0dbd6faa6abeb8d0df81f9f45c16bb0d4d (diff)
downloadGitHub-Open-All-Outdated-Comments-5565ee114e3efb4837627555d3db66ffea317be5.tar.bz2
Add license (GNU GPLv3+)
Diffstat (limited to 'github-open-all-outdated-comments.user.js')
-rw-r--r--github-open-all-outdated-comments.user.js13
1 files changed, 13 insertions, 0 deletions
diff --git a/github-open-all-outdated-comments.user.js b/github-open-all-outdated-comments.user.js
index 603dda5..4aecbfc 100644
--- a/github-open-all-outdated-comments.user.js
+++ b/github-open-all-outdated-comments.user.js
@@ -7,6 +7,19 @@
// @grant none
// ==/UserScript==
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program. If not, see <http://www.gnu.org/licenses/>.
+
var outdated_buttons = document.querySelectorAll(
'.js-comment-container.outdated-comment:not(.open) .show-outdated-button'
);