Commit graph

Select branches

Hide pull requests

main

#3

#4

1.0.0

1.1.0

1.2.0

1.3.0

1.3.1

1.3.2

1.3.3

1.3.5

Mono Color

• 0e5fc530b3 More tweaks to GitHub workflow Geert Bevin 2022-12-31 02:22:30 -05:00
• 16895308c6 More tweaks to GitHub workflow Geert Bevin 2022-12-31 02:20:43 -05:00
• 0125d144cb Tweaks to GitHub workflow Geert Bevin 2022-12-31 02:17:38 -05:00
• 52d435a65d Setting up GitHub workflow Geert Bevin 2022-12-31 02:13:51 -05:00
• ca684a2442 Eased up Java language version Geert Bevin 2022-12-31 01:39:09 -05:00
• b9633bcd05 Fixes to build file Geert Bevin 2022-12-31 01:34:46 -05:00
• 2d7f91cbd7 First commit Geert Bevin 2022-12-31 01:27:51 -05:00