HomeIsabelle/Phabricator

tuned whitespace;

Authored by makarius.

Description

tuned whitespace;

Details

Committed
makariusSat, Jul 11, 10:21 PM
Parents
rAFP70ae335403b7: signed_take_bit
Branches
Unknown
Tags
Unknown