diff pcb @ 537:63440d1e0717

Fix a segfault happening at exit time on Windows.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Sat, 19 Apr 2014 19:03:38 +0200
parents b0b8825296d0
children
line wrap: on
line diff