equal
deleted
inserted
replaced
6 |
6 |
7 default: CTT |
7 default: CTT |
8 images: CTT |
8 images: CTT |
9 test: CTT-ex |
9 test: CTT-ex |
10 all: images test |
10 all: images test |
|
11 full: all |
11 smlnj: all |
12 smlnj: all |
12 |
13 |
13 |
14 |
14 ## global settings |
15 ## global settings |
15 |
16 |