diff leim/CXTERM-DIC/Punct-b5.tit @ 87988:d8142fd06d28

(--without-gcc): By default, neither off nor on.
author Glenn Morris <rgm@gnu.org>
date Sat, 26 Jan 2008 04:27:55 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
line wrap: on
line diff