From b5ac75f5857d53256dcfd47a4ed00f8aab1b408a Mon Sep 17 00:00:00 2001
From: Joshua Peek <josh@joshpeek.com>
Date: Thu, 7 Jun 2012 10:21:02 -0500
Subject: [PATCH] Add fallback extension for Coq

---
 lib/linguist/languages.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index 1e49c997..e738bfe4 100644
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -12,7 +12,8 @@
 # ace_mode          - A String name of Ace Mode (if available)
 # extension         - An Array of associated extensions
 # primary_extension - A String for the main extension associated with
-#                     the langauge. (defaults to extensions.first)
+#                     the langauge. (defaults to extensions.first).
+#                     Must be unique.
 # overrides         - An Array of extensions that takes precedence over conflicts
 # searchable        - Boolean flag to enable searching (defaults to true)
 # search_term       - Deprecated: Some languages maybe indexed under a
@@ -267,6 +268,7 @@ Common Lisp:
 
 Coq:
   type: programming
+  primary_extension: .coq
   extensions:
   - .v