filed

Job queue using FUSE

git clone git://mccd.space/filed

commit 31405be29ce0368399567d78445094d22344a06f
parent dce7517b4bae8ccfaa8b1c64b8bfaebac1ca10f7
Author: Marc Coquand <marc@coquand.email>
Date:   Thu, 18 Dec 2025 09:15:28 +0100

*

Diffstat:

Mfiled.5.scd | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/filed.5.scd b/filed.5.scd
@@ -1,4 +1,4 @@
-FILED(8)
+FILED(5)
 
 # NAME