This commit is contained in:
2026-08-11 10:09:16 +02:00
parent daa1891967
commit f7843d68ee
+2
View File
@@ -8,6 +8,8 @@
"credentials.rkt" "credentials.rkt"
libgit2) libgit2)
; gewijzigd.
(provide git (provide git
dgit dgit
git-repository? git-repository?