Jordan Rose b8ac70227d Android: no need to set ANDROID_NDK_HOME when using Gradle ...

The Android Gradle plugin already allows you to specify which NDK to
use; we should let the plugin find it for us.

2022-12-05 10:02:54 -08:00

..

benchmarks

Android: Add very basic Curve25519 benchmarks

2022-12-02 17:14:06 -08:00

src/main

Java: reorganize package structure

2022-03-23 10:49:09 -07:00

build.gradle

Android: no need to set ANDROID_NDK_HOME when using Gradle

2022-12-05 10:02:54 -08:00