HomePhabricator

support for Phabricator mail configuration;

Authored by makarius.

Description

support for Phabricator mail configuration;
discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;

Details

Committed
makariusWed, Nov 6, 10:51 PM
Parents
rISABELLEd628bbdce79a: moved lemma
Branches
Unknown
Tags
Unknown