diff command.h @ 36418:155e6100949c

Code changes to avoid additional unnecessary re-inits.
author reimar
date Sat, 16 Nov 2013 23:23:46 +0000
parents c1a3f1bbba26
children
line wrap: on
line diff