diff options
| author | Sven Gothel <[email protected]> | 2011-12-18 17:09:08 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-12-18 17:09:08 +0100 |
| commit | 927521af10162f2bf8c02b12cce75bd7de71dafe (patch) | |
| tree | 062fbe74ca33e46ca3f7bced27f52674e3986601 /make/build.xml | |
| parent | 8fc2136686abeaeba42e2210ae09b509fde40cb5 (diff) | |
Fix bug 531. Thx to Sebastien (finding) and Julien (fixing) it.
https://jogamp.org/bugzilla/show_bug.cgi?id=531
Sorry .. we normally don't add credits in these git logs,
maybe we should change that to encourage contributors!?
Diffstat (limited to 'make/build.xml')
0 files changed, 0 insertions, 0 deletions