diff ErrorHandling.h @ 1574:2d9c8f609a3c

Here and there cleanings.
author Nomad
date Mon, 09 Sep 2013 17:17:53 +0200
parents 30db6d265ceb
children aff7a7b072b7
line wrap: on
line diff