tree e4a0b096da915ffd8ec405c3968ab5ee821e962c
parent e40c469ad3d8b7b6cd8b6e21dfc0227dc73492b5
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1391521730 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1391678918 +0100

Renamings and other fixes