Lagrange [dev]
v1.13.4
History
2022-05-10 Updated AppData — 🔖 v1.13.4
2022-05-10 Merge branch 'dev' into release
2022-05-10 Merge branch 'dev' of github.com:skyjake/lagrange into dev
2022-05-10 Updated release notes
2022-05-10 Use -O1 on SEALCurses as a workaround
2022-05-09 Terminal: Use the Debug build for now
2022-05-09 Terminal: Ignore LAGRANGE_OVERRIDE_DPI; disable popup menus
2022-05-09 Android: Audio output details
2022-05-09 Android: Updated release notes, build date
2022-05-09 Merge branch 'dev' of skyjake.fi:gemini/lagrange into dev