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-par-compile.el | |
parent | 40011e8fc1d6eafcc7dc9b1c43e22afbaeb98d6f (diff) |
small typo fixes
Diffstat (limited to 'coq/coq-par-compile.el')
0 files changed, 0 insertions, 0 deletions