Revision 5c105eb7daefa7dddfd9c7096083881eed297029

Committed on 27/08/2016 11:09 am by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

manage exceptions