HomeIsabelle/Phabricator

removed unused property;

Authored by makarius.

Description

removed unused property;

Details

Committed
makariusSat, Jul 11, 2:44 PM
Parents
rISABELLEa851ce626b78: signed_take_bit
Branches
Unknown
Tags
Unknown