diff BUGS @ 96928:52474504bf47

(main): Use defined(GNU_LINUX).
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 23 Jul 2008 08:02:27 +0000
parents 8ce686bd7f4f
children fb8bf24d2eb9
line wrap: on
line diff