LICENSES
| author |
Esben Haabendal <eha@doredevelopment.dk> |
|
Sat Aug 14 23:14:27 2010 +0200 (2010-08-14) |
| changeset 2084 |
2bcd716ca877 |
| permissions |
lrwxrwxrwx |
kernel/mingw32: use pre-set headers dir
There is a variable that contains the headers directory,
so there's no need to re-compute it again.
[Yann E. MORIN: split the original patch]