avoid installation of coqidetop in the coqide package
Ralf Treinen
4 years ago
1 changed file(s) with
2 addition(s)
and
1 deletion(s)
.
Raw diff
Collapse all
Expand all
+2
-1
debian/coqide.install.in
less
more
0
usr/bin/coqide*
0
usr/bin/coqide
1
BYTE: usr/bin/coqide.byte
1
2
usr/share/coq/coq.png
2
3
usr/share/coq/*.lang
3
4
usr/share/coq/*_style.xml