tree e719cb5f45ad4fcf0cf98b6d5fa5345f406400ae
parent d701c9aec910de55c58da1094229538440c6e9be
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1393435262 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1394782861 +0100

Minor compat.sh clean-up