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 /src/android/com | |
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 'src/android/com')
0 files changed, 0 insertions, 0 deletions