tree 8f3f826ccee45f17239bcbd2784aac5753ba031c
parent fa8aebcbcc73c7ad316dcd5bd0a2ed3d294936fd
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1426772437 +0000
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1426772437 +0000

Fix duplication in all.sh