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.
somewhat irrelevant -- defaults are OK;
authorwenzelm
Sun, 22 Dec 2019 15:53:54 +0100
changeset 71334 8b69289254ba
parent 71333 c898cd5b8519
child 71335 2afdd24ff707
somewhat irrelevant -- defaults are OK;
Admin/Phabricator/README file | annotate | diff | comparison | revisions 
--- a/Admin/Phabricator/README	Sun Dec 22 15:48:42 2019 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-Phabricator server
-==================
-
-- Configuration / Authentication:
-  https://secure.phabricator.com/book/phabricator/article/configuring_accounts_and_registration
-
-  . auth.require-email-verification true
-
-- Documentation:
-  /var/www/phabricator-vcs/libphutil/scripts/build_xhpast.php
-  ./bin/diviner generate  #slow
isabelle