| commit | af4c942b8a96f9d4bc5ae90c24f66c491ba915f8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 22 15:38:40 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 22 15:38:40 2001 +0000 |
| tree | 960a0ca13cb772416c83b22192b437aafb81255a | |
| parent | a120ffcf1245d8abb8ecc6984a8f4aad61ab5af4 [diff] |
Better test for skipping project creation: the project file should also exist and be newer than the xml file, and the .exp should exist.