diff options
Diffstat (limited to 'src/profiles/IDE/ScriptingLanguageIDE/ShellIDE')
| -rw-r--r-- | src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/Makefile.am | 3 | ||||
| -rw-r--r-- | src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/profile.config | 12 |
2 files changed, 15 insertions, 0 deletions
diff --git a/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/Makefile.am b/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/Makefile.am new file mode 100644 index 00000000..a62bce23 --- /dev/null +++ b/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/Makefile.am @@ -0,0 +1,3 @@ +profilesdir = $(kde_datadir)/kdevelop/profiles/IDE/ScriptingLanguageIDE/ShellIDE +profiles_DATA = profile.config + diff --git a/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/profile.config b/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/profile.config new file mode 100644 index 00000000..910f9eb5 --- /dev/null +++ b/src/profiles/IDE/ScriptingLanguageIDE/ShellIDE/profile.config @@ -0,0 +1,12 @@ +[Disable] +List= + +[Enable] +List= + +[Information] +Description=Shell scripting IDE profile +GenericName=Shell scripting IDE + +[Properties] +List= |
