diff options
| author | Vincent Laporte | 2019-04-25 12:45:50 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-25 13:24:25 +0000 |
| commit | 258517725bda26d8d7eb273e438998a0c541a93e (patch) | |
| tree | 299cd9d22758b2af254968230d3279f293751001 /dev/doc | |
| parent | 5411b109d3a8575fdc012b51bbc418ad84dc686f (diff) | |
CoqIDE: install icons on macOS
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions