From 3cf7dce49e0bdaedf97b373ef9954b9c685cd803 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Tue, 11 Aug 2026 20:42:50 +0200 Subject: [PATCH] makefile --- Makefile.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile.rkt b/Makefile.rkt index ccdd047..39d7e36 100644 --- a/Makefile.rkt +++ b/Makefile.rkt @@ -19,4 +19,6 @@ (target package (deps clean) (zip-package)) - \ No newline at end of file + +(target main + (git 'switch "main")) \ No newline at end of file