diff options
author | Wade Walker <[email protected]> | 2015-10-10 13:34:32 -0500 |
---|---|---|
committer | Wade Walker <[email protected]> | 2015-11-08 14:05:33 -0600 |
commit | e899c162c2dfefd58857b0dcc07ac56db6d6cd0d (patch) | |
tree | 7d44f6e0d0aa6f113d718963171a5cf6216e03f1 /src/overview.html | |
parent | 2f3c7cd46f0faee9e973ce09fe9135dc62af80a1 (diff) |
Remove unused stuff from build.xml
Removed header file downloader task which was no longer used (and not
really possible to use, given the amount of manual tweaking needed to
get gluegen to run on a new set of header files). Removed some
commented-out lines that were obsolete. Fixed some formatting. Removed
some ARMv6-related stuff that made no sense for JOCL (was inherited from
JOAL). Added some forgotten dependency paths.
Diffstat (limited to 'src/overview.html')
0 files changed, 0 insertions, 0 deletions