diff make-dist @ 51099:70dce195cb42

Correct invariant section names.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 May 2003 14:52:12 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff