Merge /home/git/public/YACASL2
[YACASL2.git] / VERSION
1 0.2p2