Updates

2022-08-17 05:55:33 -05:00 · 2022-08-17 05:55:33 -05:00 · 5b066c715a
parent 89db83f8e2
commit 5b066c715a
1 changed files with 0 additions and 3 deletions
--- a/3
+++ b/3
@ -1,6 +1,3 @@
-INFORM7 := $(INFORM)/inform7/Tangled/inform7
-INFORM6 := $(INFORM)/inform6/Tangled/inform6
-INBLORB := $(INFORM)/inblorb/Tangled/inblorb
 BUILDDIR := build
 DISTDIR := dist
 SRCDIR := .