diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2012-11-13 08:01:12 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2012-11-13 08:01:12 +0000 |
| commit | 06b2407614a9f81795e47d2710826d0973edbaf1 (patch) | |
| tree | 1f4b3d560efab31d3d12657fbc6ef94a1f00e598 /coq/coq-seq-compile.el | |
| parent | 40011e8fc1d6eafcc7dc9b1c43e22afbaeb98d6f (diff) | |
small typo fixes
Diffstat (limited to 'coq/coq-seq-compile.el')
0 files changed, 0 insertions, 0 deletions