equal
deleted
inserted
replaced
9 # |
9 # |
10 |
10 |
11 . ~/.bashrc |
11 . ~/.bashrc |
12 |
12 |
13 ## global settings |
13 ## global settings |
14 . ~/admin/isatest-settings |
14 . ~/admin/isatest/isatest-settings |
15 |
15 |
16 DOCDIR=$HOME/Doc |
16 DOCDIR=$HOME/Doc |
17 |
17 |
18 MAXTIME=1800 |
18 MAXTIME=1800 |
19 |
19 |