aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/MacOS/coqfile.icns
blob: 107e70431dff74ba1a006728f33efa6c0f917b07 (plain)
blob size (229KB) exceeds display size limit (128KB).