This repository has been archived on 2025-09-14. You can view files and clone it, but cannot push or open issues or pull requests.

Joseph Henry 679008c78f Removed Java sources from ports/android (will henceforth be copied from src/java for each build)

2019-03-17 14:54:40 -07:00

..

android

Removed Java sources from ports/android (will henceforth be copied from src/java for each build)

2019-03-17 14:54:40 -07:00

clean.bat

Added latest Android Java port

2019-02-15 03:47:09 -08:00

dist.bat

Added latest Android Java port

2019-02-15 03:47:09 -08:00

dist.sh

Added Threading and Error section to API.md, minor build script additions

2019-03-15 15:05:11 -07:00

module.modulemap

Added latest Android Java port

2019-02-15 03:47:09 -08:00