diff options
| author | Théo Zimmermann | 2019-02-13 17:54:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-13 17:54:35 +0100 |
| commit | 370b66eb8698ec7c2ebee985a5ec807271171c9f (patch) | |
| tree | d3e17d1ee3d987ed47e61798bcd335867829f6c6 /test-suite/output/ErrorInModule.v | |
| parent | fe3def270fd0f601cdccfa4c5f443cee028c3f03 (diff) | |
Mention coq-community in the contributing guide.
Diffstat (limited to 'test-suite/output/ErrorInModule.v')
0 files changed, 0 insertions, 0 deletions