daily autocommit

author root <root@localhost>

Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)

committer root <root@localhost>

Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)
author root <root@localhost>
Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)
committer root <root@localhost>
Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)
diff --git a/prime-discrete b/prime-discrete

index b3d86404ab540b6e27a80c1e6db0d9c0113e2ddd..19d6322ccb2d8ba372433221cd32696851160a3c 100644 (file)
--- a/prime-discrete
+++ b/prime-discrete
@@ -1 +1 @@
-on
+on-demand
author	root <root@localhost>
	Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)
committer	root <root@localhost>
	Fri, 22 Nov 2019 19:16:25 +0000 (20:16 +0100)