From fbc8cbb83dd0ab25510e2d8617dddd2b1f41b750 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Wed, 23 Aug 2023 17:57:05 +0200 Subject: [PATCH] ofsp --- build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.py b/build.py index 610febb..cd1494a 100755 --- a/build.py +++ b/build.py @@ -368,7 +368,7 @@ function main() {{ if (tab) {{ check(tab) }} else {{ - tab = 'my/projects/lsgm' + tab = 'my/projects/ofsp' check(tab) push(tab) }}