rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Showing only changes of commit d5663c1aad - Show all commits

View File

@@ -1,5 +1,5 @@
HAPPY = happy HAPPY = happy
HAPPY_OPTS = -a -g -c -d -i/tmp/happy-info HAPPY_OPTS = -a -g -c
ALEX = alex ALEX = alex
ALEX_OPTS = -g ALEX_OPTS = -g