comparison src/s/gnu-linux.h @ 39679:a6d0c76cc76c

(BASE_PURESIZE): Increase to 725000.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 08 Oct 2001 07:42:49 +0000
parents 8e1f1f05b742
children 464d0a0dcf2e
comparison
equal deleted inserted replaced
39678:f4bcbd3b2222 39679:a6d0c76cc76c