Skip to content

Files

Latest commit

68f4c9a · Apr 13, 2021

History

History
45 lines (44 loc) · 489 Bytes

Coq.gitignore

File metadata and controls

45 lines (44 loc) · 489 Bytes