diff options
Diffstat (limited to 'src/devtools/lib')
| -rw-r--r-- | src/devtools/lib/common.sh.top | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/devtools/lib/common.sh.top b/src/devtools/lib/common.sh.top deleted file mode 100644 index d59268d..0000000 --- a/src/devtools/lib/common.sh.top +++ /dev/null @@ -1,13 +0,0 @@ -#!/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. |