about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-24T14·31+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-24T14·31+0000
commit5d7a20dac3c7fd728fa885dd8dab6e170b860db9 (patch)
tree9a3f2b6450e88c378e79a217d3921c0e47f01436 /src
parent0a0c1fcb4d0e42577ac0c7ac23bd9b908ecde49f (diff)
* Prevent spurious rebuilds of db/aterm.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions