1 files changed, 0 insertions, 0 deletions

diff --git a/coq/coqtags b/coq/coqtags
index 6d874e9d..6d874e9d 100644..100755
--- a/coq/coqtags
+++ b/coq/coqtags