aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_icon.rc
blob: f873e7de11fdf26232eb7386218d146901e020cb (plain)
1
large   ICON    ide/coq.ico