HomeIsabelle/Phabricator

tuned --- avoid error in IntelliJ IDEA;

Authored by makarius.

Description

tuned --- avoid error in IntelliJ IDEA;

Details

Committed
makariusJun 19 2020, 8:15 PM
Parents
rISABELLE235173749448: merged
Branches
Unknown
Tags
Unknown