tree d8469e37fcb99272833cde3b34461ac08335ada2
parent ba4878aa6478cca39ec1f583b17fc1d8d4f0b656
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1372330800 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1373290278 +0200

Fix a comment and some whitespace