diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-13T21·43+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-13T21·43+0000 |
commit | 135b7d54db4e0ca56bda67946432fcf9d4f3ac5c (patch) | |
tree | 759dec0bb12b0d2b65447c1de22745151a4015cb /src/Makefile.am | |
parent | e6363b05ae72ffd9d977ec3f0981ff9123c404a6 (diff) |
* Don't check for staleness by default.
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions