diff options
author | Simon McVittie <smcv@debian.org> | 2019-02-25 15:51:56 +0000 |
---|---|---|
committer | Simon McVittie <smcv@debian.org> | 2019-02-25 15:51:56 +0000 |
commit | e864dcd0b8829af6896abb23f9fe1d27136df3e9 (patch) | |
tree | 036dbdee28c4f173dc652ce15a46b06beeaa27fc /Settings.ui | |
parent | 48abcae89c82418b3265c79ee9b449c93af39627 (diff) | |
parent | 62b62a9edcef13e03c9894e293f9a93e6bb59ae2 (diff) |
Update upstream source from tag 'upstream/0_git20190225'
Update to upstream version '0~git20190225'
with Debian dir c048c125fbe4ad4bd9698b9b32c9abab3a121254
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"/> |