tree 82dddfdb1721a30db93111200cd7a05512059b64
parent 8607b2579e93a576d690e4a2195dfef12f5ca156
author Daniel Le Berre <leberre@cril.univ-artois.fr> 1316636119 +0200
committer Daniel Le Berre <leberre@cril.univ-artois.fr> 1316636119 +0200

Added fixes for problems detected during MISC 2011. Release 1.14.