Script pyThtoDB

2026-06-01 22:00:53 +00:00 · 2025-05-05 10:40:39 +02:00
parent eea5078184
commit 806ac265ed
68 changed files with 69150 additions and 6346 deletions
@@ -0,0 +1,19 @@
+
+therion [-q] [-L] [-l log-file]
+	[-s source-file] [-p search-path]
+	[-b|--bezier]
+	[-d] [-x] [cfg-file]
+
+therion [-h|--help]
+        [-v|--version]
+        [--print-encodings]
+        [--print-environment]
+        [--print-init-file]
+        [--print-library-src]
+        [--print-symbols]
+        [--print-tex-encodings]
+        [--print-xtherion-src]
+        [--reproducible-output]
+        [--generate-output-crc]
+        [--verify-output-crc]
+