replaced 1.3 version committed to HEAD by accident with previous version 1.2

This commit is contained in:
Tobi Schäfer 2003-04-09 07:08:51 +00:00
parent cee30e4833
commit 8287705a2c