1 files changed, 2 insertions, 0 deletions

diff --git a/etc/profile-a-l/kate.profile b/etc/profile-a-l/kate.profile
index 8c340d536..194200f4f 100644
--- a/etc/profile-a-l/kate.profile
+++ b/etc/profile-a-l/kate.profile
@@ -23,6 +23,8 @@ noblacklist ${HOME}/.local/share/kxmlgui5/katepart
 noblacklist ${HOME}/.local/share/kxmlgui5/kateproject
 noblacklist ${HOME}/.local/share/kxmlgui5/katesearch
 
+include allow-common-devel.inc
+
 include disable-common.inc
 # include disable-devel.inc
 include disable-exec.inc