Changes in odk-core 0.1.2 (2025-12-14)
--------------------------------------

  * Pass Java options consistently across Java programs.
  * Install an improved activation script.
  * Fix seeding without a configuration file.


Changes in odk-core 0.1.1 (2025-12-06)
--------------------------------------

  * Fix launcher scripts in generated ODK environments.
