progit/progit2-fr — pull request #3 by ben (2014-11-18 15:35:34+00:00)
Title: Change "iss53" to "prob53" in diagrams

Fixes progit/progit2#185.