ogui branch

ogui version
2024-05-22 15:08:19 -05:00 · 2024-05-22 15:05:22 -05:00
3 changed files with 1611 additions and 79 deletions
--- a/.config/init.ml
+++ b/.config/init.ml
--- a/.gitignore
+++ b/.gitignore
@ -1 +1,4 @@
-*~
+*~
+
+*/.merlin
+*/_build
--- a/.ocamlformat
+++ b/.ocamlformat
@ -0,0 +1,3 @@
+profile = default
+version = 0.26.2
+no-parse-toplevel-phrases
Author	SHA1	Message	Date
cqc	c7d9d03670	ogui branch	2024-05-22 15:08:19 -05:00
cqc	553d5fbd55	ogui version	2024-05-22 15:05:22 -05:00