amend height of some symbols

2024-09-23 12:23:39 +01:00
parent 93323438f4
commit 88a7e9e77c
11 changed files with 81 additions and 81 deletions
--- a/imperative-shell/file-thread.sml
+++ b/imperative-shell/file-thread.sml
@@ -11,7 +11,7 @@ struct
  datatype parse_result = OK of AppType.triangle list | PARSE_ERROR

  val structureName = "UpperCaseG"
-  val filename = "fonts/exclamation-mark.dsc"
+  val filename = "fonts/colon-semi.dsc"
  val exportFilename = "fonts/upper-case-h.sml"

  fun ndcToLerpX num =