diff options
| author | Hendrik Tews | 2012-10-30 21:05:53 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-10-30 21:05:53 +0000 |
| commit | bb232c2828132ddde9285bf368c8f16e54b1da36 (patch) | |
| tree | b571b88a12551f615ddde6598124a5a863f4efcb /pgshell | |
| parent | ad142b89511bc01fff26bae8073f6c362d913d71 (diff) | |
move general part of compilation into coq-compile-common.el
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions