diff options
Diffstat (limited to 'etc/profile-a-l/freemind.profile')
| -rw-r--r-- | etc/profile-a-l/freemind.profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/profile-a-l/freemind.profile b/etc/profile-a-l/freemind.profile index ba52dd208..699177039 100644 --- a/etc/profile-a-l/freemind.profile +++ b/etc/profile-a-l/freemind.profile | |||
| @@ -6,8 +6,8 @@ include freemind.local | |||
| 6 | # Persistent global definitions | 6 | # Persistent global definitions |
| 7 | include globals.local | 7 | include globals.local |
| 8 | 8 | ||
| 9 | nodeny ${DOCUMENTS} | 9 | noblacklist ${DOCUMENTS} |
| 10 | nodeny ${HOME}/.freemind | 10 | noblacklist ${HOME}/.freemind |
| 11 | 11 | ||
| 12 | # Allow java (blacklisted by disable-devel.inc) | 12 | # Allow java (blacklisted by disable-devel.inc) |
| 13 | include allow-java.inc | 13 | include allow-java.inc |