summaryrefslogtreecommitdiff
path: root/debian/coqide.desktop
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2005-09-07 19:32:56 +0000
committerGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2005-09-07 19:32:56 +0000
commit44032630776b3315fc377d287e76580de759fd47 (patch)
tree55569dc13cc71c284b8d4c9cd72afe61242a827d /debian/coqide.desktop
parent36056e5065d0d0b9f3c442b07e7ae330289f3b9e (diff)
Switching to svn-buildpackage.debian/8.0pl2-3
Added a patch to solve the FTBFS.
Diffstat (limited to 'debian/coqide.desktop')
0 files changed, 0 insertions, 0 deletions