diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-04 18:44:16 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-04 18:44:16 +0200 |
| commit | ce1bfc2039cc673c3c9099933c05c9fac3e88ae9 (patch) | |
| tree | 91380866c5adc53e908e977a7734f11a2bd08f86 /.gitignore | |
| parent | 90e6023292e2bfe927bd633bac42fc355bb9f4d1 (diff) | |
Make it possible to disable fixnum support by supplying -DNO_FIXNUMS as a compiler flag.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions