ini

2025-08-04 13:29:39 +02:00
parent 8318be1420
commit 0316d84647
3 changed files with 3 additions and 2 deletions
--- a/main.rkt
+++ b/main.rkt
@@ -8,6 +8,7 @@
         ini-get
         ini-set!
         make-ini
+	 get-ini-file
         )