porcelain added where needed

This commit is contained in:
2026-08-12 15:57:40 +02:00
parent 5319c0ce37
commit 0e804bb180
2 changed files with 5 additions and 2 deletions
-1
View File
@@ -50,7 +50,6 @@
(define (std-process-git-result cmd result output out)
(displayln output)
(git-displ out)
(if result
result