diff options
author | 2004-08-18 15:19:55 +0000 | |
---|---|---|
committer | 2004-08-18 15:19:55 +0000 | |
commit | 12ac9238f46cba4693724082849df258db73ee2e (patch) | |
tree | e888d5c7a43538e0b494cbe8e8a84a64c3e71f60 /debian/coqmktop.1 | |
parent | d5832194f874352f0a289e08e6981f14dc355495 (diff) |
Ignore errors on strip to fix the FTBFS on arm.
Diffstat (limited to 'debian/coqmktop.1')
0 files changed, 0 insertions, 0 deletions