diff options
| author | John van Groningen | 2003-10-03 15:03:38 +0000 |
|---|---|---|
| committer | John van Groningen | 2003-10-03 15:03:38 +0000 |
| commit | 7b1b0f0fe6139263dfe32c096f0fc5a12949b8ff (patch) | |
| tree | 98da7a6ede5535edf62fca805dc0ad12385a73f9 /Makefile.linux | |
| parent | fix bug in inode and device numbers, if a new file is created and the file (diff) | |
omit windows exception handler for linux, add some sections for optimised linking on linux
Diffstat (limited to 'Makefile.linux')
0 files changed, 0 insertions, 0 deletions