Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/cronjob/plain_identify
changeset 73483 804e75127f29
parent 73479 6e20976d58f5 
--- a/Admin/cronjob/plain_identify	Sat Mar 27 18:03:50 2021 +0100
+++ b/Admin/cronjob/plain_identify	Sat Mar 27 18:15:19 2021 +0100
@@ -7,7 +7,8 @@
 
 source "$HOME/.bashrc"
 
-LANG=C
+export LANG=C
+export HGPLAIN=
 
 REPOS_DIR="$HOME/cronjob/plain_identify_repos"
 ISABELLE_REPOS_SOURCE="https://isabelle.sketis.net/repos/isabelle"
isabelle