tree c8bdc42e36a4b7a9b6533612f95c9fd8eacea37e
parent 102a620c9a2f6c98f51766bfcbf62ec4e349856e
author Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1440705598 +0200
committer Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1441010067 +0200

Fix more comments/outputs in verify programs