Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
identify closer to main cronjob -- avoid diverging changeset versions;
authorwenzelm
Sun, 04 Mar 2018 13:51:58 +0100
changeset 67765 968f6891be62
parent 67764 0f8cb5568b63
child 67766 603334230303
identify closer to main cronjob -- avoid diverging changeset versions;
Admin/cronjob/crontab.lxbroy5 file | annotate | diff | comparison | revisions 
--- a/Admin/cronjob/crontab.lxbroy5	Sun Mar 04 12:22:48 2018 +0100
+++ b/Admin/cronjob/crontab.lxbroy5	Sun Mar 04 13:51:58 2018 +0100
@@ -1,4 +1,4 @@
 SHELL=/bin/bash
 MAILTO=wenzelm
 
-47 00 * * *       $HOME/cronjob/plain_identify
+20 00 * * *       $HOME/cronjob/plain_identify
isabelle