diff options
Diffstat (limited to 'bin.itarget')
| -rw-r--r-- | bin.itarget | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin.itarget b/bin.itarget deleted file mode 100644 index a4110bc958..0000000000 --- a/bin.itarget +++ /dev/null @@ -1,11 +0,0 @@ -bin/coqmktop -bin/coqtop -bin/coqide -bin/coqc -bin/coqchk -bin/coqdep -bin/coqwc -bin/coq-tex -bin/coq_makefile -bin/gallina -bin/coqdoc |