diff options
Diffstat (limited to 'extensions/install-essential-files.configure.help')
-rw-r--r-- | extensions/install-essential-files.configure.help | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/extensions/install-essential-files.configure.help b/extensions/install-essential-files.configure.help deleted file mode 100644 index 9148aeff..00000000 --- a/extensions/install-essential-files.configure.help +++ /dev/null @@ -1,20 +0,0 @@ -# Copyright (C) 2015 Codethink Limited -# -# 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. -# -# You should have received a copy of the GNU General Public License along -# with this program; if not, see <http://www.gnu.org/licenses/>. - -help: | - This installs files from the essential-files/ folder in your - definitions.git repo, according to essential-files/manifest. - - It wraps the install-files.configure extension. Take a look to that - extension help to know more about the format of the manifest file. |