HomePhabricator

avoid redundant proof boxes for application sessions;

Authored by makarius.

Description

avoid redundant proof boxes for application sessions;

Details

Committed
makariusNov 1 2019, 3:47 PM
Parents
rISABELLE9dab828cbbc1: clarified modules (again);
Branches
Unknown
Tags
Unknown