Commit Graph

1 Commits

Author SHA1 Message Date
Abe Voelker
daef609f5f Add detection for the Coq language - fixes #116 2012-02-17 10:50:21 -06:00