HomeIsabelle/Phabricator

discontinued somewhat pointless options;

Authored by makarius.

Description

discontinued somewhat pointless options;

Details

Committed
makariusDec 6 2019, 4:13 PM
Parents
rISABELLEbd93c71521a0: tuned signature;
Branches
Unknown
Tags
Unknown