diff make-dist @ 44819:9ce753124d1b

(skip_initializer): Return void.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 24 Apr 2002 18:26:48 +0000
parents 071e287dcbde
children 118d892da9b7
line wrap: on
line diff