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 |