summaryrefslogtreecommitdiff
path: root/prefs.js
diff options
context:
space:
mode:
authorSimon McVittie <smcv@debian.org>2019-02-25 15:01:00 +0000
committerSimon McVittie <smcv@debian.org>2019-02-25 15:01:00 +0000
commit318a644ce825999160780ea1feb5be514fd83c0d (patch)
tree1a8340d85d56f4cd903add01346f112379fc7c47 /prefs.js
parentf112972a7b310092e8fad23c2ef869a63cb43217 (diff)
Add copyright notices and GPL-2.0-or-later license grant
See #2.
Diffstat (limited to 'prefs.js')
-rw-r--r--prefs.js6
1 files changed, 5 insertions, 1 deletions
diff --git a/prefs.js b/prefs.js
index d7e51da..2a94e8d 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1,3 +1,7 @@
+// Copyright 2018 Bartosz Jaroszewski
+// SPDX-License-Identifier: GPL-2.0-or-later
+// (see extension.js for details)
+
const Gio = imports.gi.Gio;
const Gtk = imports.gi.Gtk;
@@ -74,4 +78,4 @@ function buildPrefsWidget() {
widget.show_all();
return widget;
-} \ No newline at end of file
+}