prepare for 0.1, again

imandra-ai · Jun 10, 2023 · 74116b3 · 74116b3
1 parent d95bbf1
commit 74116b3
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/CHANGES → CHANGES.md b/CHANGES → CHANGES.md