HomeIsabelle/Phabricator

tuned -- avoid deprecated constructors;

Authored by makarius.

Description

tuned -- avoid deprecated constructors;

Details

Committed
makariusNov 25 2019, 12:19 PM
Parents
rISABELLE4b3e1b859a22: tuned signature;
Branches
Unknown
Tags
Unknown