diff make-dist @ 72980:4cbbf2d7c486

Sync with src/config.in.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Tue, 19 Sep 2006 03:16:56 +0000
parents 81a55a7dc3c3
children dc3237394add a1a25ac6c88a
line wrap: on
line diff