diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-10-26 10:00:25 +0200 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-10-27 09:26:40 +0200 |
| commit | 8a7eecfa71e850e479822d879e3263c9ce5f2ede (patch) | |
| tree | c54419aa3d67bb0dff0e0dcca8ac1c7ebccafa1e /coq/coq-par-compile.el | |
| parent | cda28bfda3154c9040ec11abea1021755992e36a (diff) | |
gitignore for doc subdir
Diffstat (limited to 'coq/coq-par-compile.el')
0 files changed, 0 insertions, 0 deletions