diff options
| author | Vincent Laporte | 2019-04-25 10:07:34 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-25 11:50:56 +0000 |
| commit | 5411b109d3a8575fdc012b51bbc418ad84dc686f (patch) | |
| tree | 462e20850e0e7a4102ce3a1ea66b6675371e981e /dev/doc | |
| parent | 47f202605b4ef1795a31312b3ff2eda006fa46a6 (diff) | |
CoqIDE: fix open-file dialog on macOS
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions