HomeIsabelle/Phabricator

Closing branch "devel"

Authored by kleing.

Description

Closing branch "devel"

Details

Committed
kleingMon, Jun 29, 6:07 AM
Parents
rAFPc0032d11a990: Bitbucket -> Heptapod
Branches
Unknown
Tags
Unknown

Empty Commit

This commit is empty and does not affect any paths.