commit | 675cda07871513eedd212460b06facff5dc3242c | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:57:15 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:57:15 1997 +0000 |
tree | d90f47ac488d7fa6ff231aa037150e8a332aa8cc | |
parent | 37b4b4996254fc7eeccfa61c941b46b61083265d [diff] |
Added a button to increment buildno, so it doesn't happen automatically all the time.