summaryrefslogtreecommitdiff
path: root/prefs.js
diff options
context:
space:
mode:
authorSimon McVittie <smcv@debian.org>2019-02-25 15:51:56 +0000
committerSimon McVittie <smcv@debian.org>2019-02-25 15:51:56 +0000
commit62b62a9edcef13e03c9894e293f9a93e6bb59ae2 (patch)
tree1a8340d85d56f4cd903add01346f112379fc7c47 /prefs.js
parent87c390996addbf0779774e51cf90abf5a95ae7d4 (diff)
New upstream version 0~git20190225
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
+}