diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2012-11-05 13:22:07 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2012-11-05 13:22:07 +0000 |
| commit | 9b4fe81e56291f710a5d0f8e22a6b71e1ef5e197 (patch) | |
| tree | cd78be23223c8839394f71f5db76c03e59827be2 /coq/coq-compile-common.el | |
| parent | f953b34552f06fa7e1cac60494373be67e44ddf8 (diff) | |
fix seq-seq misspelling
Diffstat (limited to 'coq/coq-compile-common.el')
0 files changed, 0 insertions, 0 deletions