tree da96d3c229c3e70f5c862e539383f5ae552c4607
parent 0c6ce2f536941413278f981f0aea169272af914c
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1429877227 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1430310528 +0200

Fix bugs in programs displaying verify flags