Commit Graph

2 Commits

Author SHA1 Message Date
Fedor Isakov 08bed0c578 Apply automatic migrations to FitchProof subproject 2019-01-13 14:27:32 +01:00
Fedor Isakov d09373eaa9 Initial import 2018-07-18 15:54:50 +02:00