diff options
author | bjarosze <bjarosze@users.noreply.github.com> | 2019-02-25 16:24:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-25 16:24:13 +0100 |
commit | bfee73e25b7252d3e4b648cef7bb472c37b85625 (patch) | |
tree | 1a8340d85d56f4cd903add01346f112379fc7c47 /Settings.ui | |
parent | f112972a7b310092e8fad23c2ef869a63cb43217 (diff) | |
parent | 318a644ce825999160780ea1feb5be514fd83c0d (diff) |
Merge pull request #3 from smcv/gpl-2.0-or-later
Add copyright notices and GPL-2.0-or-later license grant
Diffstat (limited to 'Settings.ui')
-rw-r--r-- | Settings.ui | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Settings.ui b/Settings.ui index b0a86ad..047b045 100644 --- a/Settings.ui +++ b/Settings.ui @@ -1,4 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> +<!-- +Copyright 2018 Bartosz Jaroszewski +SPDX-License-Identifier: GPL-2.0-or-later +(see extension.js for details) +--> <!-- Generated with glade 3.20.0 --> <interface> <requires lib="gtk+" version="3.12"/> |