commit | 9e3f24b0edc955ae6165be14b05d6ca856f4ee2b | [log] [tgz] |
---|---|---|
author | dleberre <leberre@cril.univ-artois.fr> | Tue May 28 10:23:53 2013 +0200 |
committer | dleberre <leberre@cril.univ-artois.fr> | Tue May 28 10:23:53 2013 +0200 |
tree | b043d1a11fb906d6f84458c74fa83edf28bae2bb | |
parent | aaa32e65fa3f471d94bfa2a34dafc2421f999d20 [diff] |
Fix for the bug discovered by Sergio Segura.