diff make-dist @ 98028:59193c0c60a3

(Where Defined): Fix description of symbol-file.
author Martin Rudalics <rudalics@gmx.at>
date Sat, 06 Sep 2008 10:05:08 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff