diff options
| author | Enrico Tassi | 2019-04-29 09:26:24 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-04-29 09:26:24 +0200 |
| commit | 4e25d51b89b66d4b9c982e85a5de9645e7e537ad (patch) | |
| tree | 11bb34a169bc33c4a413df64581e1f86aa585777 /lib | |
| parent | 4f2da48207010b5edca8f0a9a4c5afe7e10eec17 (diff) | |
| parent | 258517725bda26d8d7eb273e438998a0c541a93e (diff) | |
Merge PR #9997: CoqIDE: fix open-file dialog and icons on macOS
Ack-by: SkySkimmer
Reviewed-by: gares
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions