diff options
| author | davidgtu <david.giahuy.tu@gmail.com> | 2019-10-11 15:22:12 -0400 |
|---|---|---|
| committer | davidgtu <david.giahuy.tu@gmail.com> | 2019-10-11 15:22:12 -0400 |
| commit | 3b4ca43798a2fc0483c1a3a195ddde934cd2983f (patch) | |
| tree | bde4ae4f6834417eec272a255bd05d37a34434ea /coq.html.markdown | |
| parent | f0eb830ebded612e53eef019776d6573fbc42ab0 (diff) | |
fix spacing
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions