HomeIsabelle/Phabricator

close merged branch

Description

close merged branch

Details

Provenance
kleingAuthored on
Parents
rAFP3b6c0a05c5cf: Updating Jinja from apply-style to Isar-style
Branches
Unknown
Tags
Unknown

Empty Commit

This commit is empty and does not affect any paths.