comparison help/help_mp-pl.h @ 16047:7b8870739cc7

guard against double uninit (reportedly can happen on STRG+C)
author reimar
date Fri, 22 Jul 2005 11:17:05 +0000
parents 06baf147a638
children 1e95e4d332b5
comparison
equal deleted inserted replaced
16046:8335d14a0cad 16047:7b8870739cc7