tree 3913a223dcf913e9fd0e08ae2647148cc8962f27
parent 8735ac3f2df3d7f05d38fa476e13721ec3d26b32
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1270169266 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1270169266 +0000

mark JCLMin1.5 as of the initial contribution (CQ 3784)