diff make-dist @ 72892:41ca3e86bd27

Update with the latest footnotes from www.gnu.org/gnu/the-gnu-project.html
author Richard M. Stallman <rms@gnu.org>
date Fri, 15 Sep 2006 14:20:22 +0000
parents 81a55a7dc3c3
children dc3237394add a1a25ac6c88a
line wrap: on
line diff