diff options
| author | Hendrik Tews | 2012-10-30 20:30:43 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-10-30 20:30:43 +0000 |
| commit | ad142b89511bc01fff26bae8073f6c362d913d71 (patch) | |
| tree | a1b025393caeade5c8df879a37b720dcd0bf461f /pgshell | |
| parent | ae4414d5a99e266f4ac78d109a5d11afb95632f2 (diff) | |
move coq compilation into coq/coq-seq-compile.el
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions