diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-15 12:26:18 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-15 13:54:43 +0200 |
| commit | c2b0b6213988a0592da8b773064949c637f8b64d (patch) | |
| tree | 7ef61d8fc1e6177f8fdac50c81fe134b514411da /debian/coqide.desktop | |
| parent | 80430f1fcfaf77869f931a52a22b78364858a188 (diff) | |
Add non-native-archs.dpatch
Fix FTBFS on non-native architectures (Closes: #495165)
Diffstat (limited to 'debian/coqide.desktop')
0 files changed, 0 insertions, 0 deletions