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 /Makefile.common | |
parent | 789ee837607002a3f56c461f621bb780ba737916 (diff) |
Make MacStore like coqide more
including bigger icons
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions