diff options
| author | Paul Steckler | 2017-06-19 15:13:43 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-06-19 15:13:43 -0400 |
| commit | f3d5de99f95400ff4417fe12ea46f48d2f4a8aca (patch) | |
| tree | 60ec49080de35feea2aabab81f3f69d8cf8470db /lib | |
| parent | d7bb51c69b5a274e341b1a6776baa965d98b3177 (diff) | |
Change CoqIDE-specific to neutral wording
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions