diff data/ST/make_stage.py @ 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 1bc0ad774ed4
children 016f6b937893
line wrap: on
line diff