diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-23 16:44:05 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-24 11:35:44 +0200 |
| commit | 1774a87504945a6e8b8aa465297dce672364b8a4 (patch) | |
| tree | 57704d0e1e26fda1814d8817f013818bfd16b37d /ide/coq.png | |
| parent | 789ee837607002a3f56c461f621bb780ba737916 (diff) | |
Make MacStore like coqide more
including bigger icons
Diffstat (limited to 'ide/coq.png')
| -rw-r--r-- | ide/coq.png | bin | 6269 -> 71924 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/ide/coq.png b/ide/coq.png Binary files differindex 06aac4597..cccd5a9a1 100644 --- a/ide/coq.png +++ b/ide/coq.png |
