diff make-dist @ 103051:ccf9a356f1a1

Checked os.texi.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 22 Apr 2009 04:23:09 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff