Checkout
no_author
committed
on 19 Jul 05
This commit was manufactured by cvs2svn to create tag 'release_1_0_12'.