HomeIsabelle/Phabricator

more antiquotations;

Description

more antiquotations;
more formal use of consts;

Details

Provenance
makariusAuthored on
Parents
rISABELLEffe269e74bdd: more antiquotations;
Branches
Unknown
Tags
Unknown