[PATCH 9/9] python: raise a more specific error in Messages.print_messages
authorJustus Winter <4winter@informatik.uni-hamburg.de>
Mon, 26 Sep 2011 01:05:37 +0000 (03:05 +0200)
committerW. Trevor King <wking@tremily.us>
Fri, 7 Nov 2014 17:39:29 +0000 (09:39 -0800)
commita1905b088a8bf7d9feaecd89c76218f64cd7cd99
tree12b58714be2fe769a4bc1411be185073baa9ee6d
parentf242fbeb89360bf31b819c2d7b77f51d6eaa5463
[PATCH 9/9] python: raise a more specific error in Messages.print_messages
f0/6dc12d6a17f4a4cd63b39ee96d5eb7eff7d65e [new file with mode: 0644]