Commit Graph

3 Commits (f78e79ab9bcadec0ad0e0b87d3273f9a9aa911f4)

Author SHA1 Message Date
Yorke Rhodes a424371e89
Use global prettier config and sort imports (#372) 3 years ago
Yorke Rhodes 9cc2a4388b
Improve ergonomics of app mixins (#330) 3 years ago
Nam Chu Hoai a9b509e973
Ignore messages during message processing in TipProver (#281) 3 years ago