diff options
| author | Pierre Boutillier | 2014-07-21 15:52:19 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-22 18:21:58 +0200 |
| commit | 34b0bde46bd46ab4c467caccc7a6aebb5a999a74 (patch) | |
| tree | aca142bd1408d03ee6bf09aef8462e26e43cadb3 /kernel/inductive.ml | |
| parent | 82f63ddf9c7d2fdd670f292f725a4295655db193 (diff) | |
Ide: Drop argument added by MacOS during .app launch
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions