diff options
| author | morristheaverage <morristhomas26@gmail.com> | 2020-09-25 16:55:02 +0100 |
|---|---|---|
| committer | morristheaverage <morristhomas26@gmail.com> | 2020-09-25 16:55:02 +0100 |
| commit | ef3b6dc1040bbf518e35749417fa3ef6a9cf0c65 (patch) | |
| tree | 61eacb19d866d8db5f48cc97f7fa48e54dbb2e84 /coq.html.markdown | |
| parent | 325ebb85435f1ac23490bc14fbdb0b3da323eb7c (diff) | |
Cleaned up spelling and writing style
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions