diff options
| author | Pierre Boutillier | 2014-07-23 16:44:05 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-24 11:35:44 +0200 |
| commit | 1774a87504945a6e8b8aa465297dce672364b8a4 (patch) | |
| tree | 57704d0e1e26fda1814d8817f013818bfd16b37d /kernel/type_errors.ml | |
| parent | 789ee837607002a3f56c461f621bb780ba737916 (diff) | |
Make MacStore like coqide more
including bigger icons
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions