diff options
| author | Sam Pablo Kuper | 2017-08-01 13:10:14 +0100 |
|---|---|---|
| committer | Sam Pablo Kuper | 2017-08-01 13:10:14 +0100 |
| commit | 8f0e4fbc634230d89bb710547bbb50a7f959d74b (patch) | |
| tree | 007540028973961d81bca2ff24c39a63f1a01b8c /API | |
| parent | a648f4ce7559fea0e4c269c776e654dea316a3b9 (diff) | |
Improve style slightly
per @aspiwack's comments in [this pull request
review](https://github.com/coq/coq/pull/940).
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions