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