diff options
| author | simonmar <unknown> | 2002-07-23 10:18:46 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-07-23 10:18:46 +0000 |
| commit | f1ec1813ac8f710cc6867c2244e3e922c6675ce9 (patch) | |
| tree | 2360262a62d9eb08cd629b2140f344b5901e4b58 /html/Makefile | |
| parent | a77bb373c7a5f9de55fd3de7b95bc51d0e00292b (diff) | |
[haddock @ 2002-07-23 10:18:46 by simonmar]
Add a version banner when invoked with -v
Diffstat (limited to 'html/Makefile')
0 files changed, 0 insertions, 0 deletions