restore temp.txt to original version, as it was being edited for testing purposes

2025-09-22 07:46:45 +01:00
parent a890381f2a
commit 90eeb6e570
1 changed files with 0 additions and 3 deletions
--- a/temp.txt
+++ b/temp.txt
@@ -1,6 +1,3 @@
 structure TextBuilder :> TEXT_BUILDER =
 struct
  val xSpace = 13