HomePhabricator

Merge pull request #207 from mattflaschen/lfschenoneMajorChanges

Authored by Mattflaschen-Personal on Jun 14 2015, 5:55 AM.

Description

Merge pull request #207 from mattflaschen/lfschenoneMajorChanges

Rewrite major parts of ProveIt and add l10n

Details

Merged Changes

CommitAuthorDetailsCommitted
91fdb9446c53Sophivorus/Mattflaschen-Personal
Rewrite major parts of ProveIt and add l10n 
Jun 14 2015