diff options
| author | Attila Gáspár | 2020-04-09 19:24:51 +0200 |
|---|---|---|
| committer | Attila Gáspár | 2020-04-16 17:18:07 +0200 |
| commit | dc20c308875bad569c97a1b5e2184a074f37d1bc (patch) | |
| tree | 4670ad8f191e38ead937b2c386c184d918071b51 /plugins | |
| parent | 04292ee5af69f168d31345119e25226eadee8ae8 (diff) | |
CoqIDE: Disable client-side decoration on Windows
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions