output diff functions

This commit is contained in:
2026-08-13 12:44:22 +02:00
parent 302dc06e89
commit 70883de138
+1
View File
@@ -27,6 +27,7 @@
git-help git-help
git-version git-version
git-new-version git-new-version
(all-from-out "private/diff.rkt")
) )
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;