| Revision: | 1.2 |
| Committed: | Wed Dec 11 15:59:11 2002 UTC (22 years, 5 months ago) by tim |
| Branch: | MAIN |
| Changes since 1.1: | +1 -0 lines |
| Log Message: | Ignore dist directory, control -warnunchecked setting from property, add init target to print banner with version. |