diff -r ab6634389318 -r cd58c0bc21d6 delinquent_files/demon.php
--- a/delinquent_files/demon.php	Mon Jan 23 21:39:43 2023 +0100
+++ b/delinquent_files/demon.php	Mon Jan 23 21:42:29 2023 +0100
@@ -1,4 +1,7 @@
 #!/usr/bin/php
+# $Id$
+#
+
 <?PHP
 
 chdir ( '/data/project/commons-delinquent' ) ;