diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-08-18 15:19:55 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-08-18 15:19:55 +0000 |
commit | 12ac9238f46cba4693724082849df258db73ee2e (patch) | |
tree | e888d5c7a43538e0b494cbe8e8a84a64c3e71f60 /ide/coq_commands.ml | |
parent | d5832194f874352f0a289e08e6981f14dc355495 (diff) |
Ignore errors on strip to fix the FTBFS on arm.
Diffstat (limited to 'ide/coq_commands.ml')
0 files changed, 0 insertions, 0 deletions