diff src/s/gnu-linux.h @ 105014:ef4e71ead2e8

* configure.bat: Add #define PROFILING to config.h.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 14 Sep 2009 23:00:52 +0000
parents 21a9a415c6d0
children 1d1d5d9bd884
line wrap: on
line diff