tree 2032e242c6335b234af737913ca4b415dd4d60aa
parent 8473f879847215b0571a608c0e5c7212877758bc
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1431604551 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1431633514 +0200

Fix some old names that remained

- most in doxygen doc that was never renamed
- some re-introduced in comments/doc/strings by me