changeset 33742 | 83ae8b7e2768 |
parent 33739 | 8bfe94730530 |
child 37495 | 650fae5eea93 |
33740:5fd36780760b | 33742:83ae8b7e2768 |
---|---|
3 Copyright 2009 |
3 Copyright 2009 |
4 |
4 |
5 Nitpick examples. |
5 Nitpick examples. |
6 *) |
6 *) |
7 |
7 |
8 Toplevel.debug := true; |
|
9 if getenv "KODKODI" = "" then |
8 if getenv "KODKODI" = "" then |
10 () |
9 () |
11 else |
10 else |
12 setmp_noncritical quick_and_dirty true use_thys |
11 setmp_noncritical quick_and_dirty true use_thys |
13 ["Nitpick_Examples"]; |
12 ["Nitpick_Examples"]; |