diff options
Diffstat (limited to 'etc/ideaIC.profile')
-rw-r--r-- | etc/ideaIC.profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/ideaIC.profile b/etc/ideaIC.profile index b960b08e5..7e1778f58 100644 --- a/etc/ideaIC.profile +++ b/etc/ideaIC.profile | |||
@@ -3,8 +3,8 @@ | |||
3 | # Persistent local customizations | 3 | # Persistent local customizations |
4 | include ideaIC.local | 4 | include ideaIC.local |
5 | # Persistent global definitions | 5 | # Persistent global definitions |
6 | include globals.local | 6 | # added by included profile |
7 | 7 | #include globals.local | |
8 | 8 | ||
9 | # Redirect | 9 | # Redirect |
10 | include idea.sh.profile | 10 | include idea.sh.profile |