summaryrefslogtreecommitdiff
path: root/src/devtools/lib
diff options
context:
space:
mode:
Diffstat (limited to 'src/devtools/lib')
-rw-r--r--src/devtools/lib/.gitignore2
-rw-r--r--src/devtools/lib/common.sh.top13
2 files changed, 15 insertions, 0 deletions
diff --git a/src/devtools/lib/.gitignore b/src/devtools/lib/.gitignore
new file mode 100644
index 0000000..9e428f9
--- /dev/null
+++ b/src/devtools/lib/.gitignore
@@ -0,0 +1,2 @@
+!*.patch
+!*.top
diff --git a/src/devtools/lib/common.sh.top b/src/devtools/lib/common.sh.top
new file mode 100644
index 0000000..d59268d
--- /dev/null
+++ b/src/devtools/lib/common.sh.top
@@ -0,0 +1,13 @@
+#!/bin/bash -euE
+#!/bin/bash
+# This file is included by libremessages.
+# You should probably use libremessages instead of this.
+
+# 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; version 2 of the License.
+#
+# 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.