commit | dad1ad739dad7e49762d1c22c263b9151e114cd3 | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu May 14 21:54:55 2015 +0200 |
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu May 14 21:58:34 2015 +0200 |
tree | cc8bea56920e3a5669e591b100ea8a27cb732601 | |
parent | 0b104b056bd2c150419e6aebb31c93b9fd9e1ecc [diff] |
Doc tune-ups