diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-21 15:50:20 +0200 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-22 17:13:32 +0200 |
commit | a088d03434417e935df3c75f81a954eadbdfc2b8 (patch) | |
tree | dcd5a5d4372236a46838106a13f3bf9a9e071dd2 /plugins/funind | |
parent | 4271bebb68b09ddcc0d283ab16acaab399e22f13 (diff) |
A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle
The created bundle contains only coqide and gtk (no coqtop, no stdlib)
Diffstat (limited to 'plugins/funind')
0 files changed, 0 insertions, 0 deletions