diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-12-12 10:05:00 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-12-14 21:18:16 +0100 |
| commit | 93a0d1ca16fd30e89e312932008106bc5503386f (patch) | |
| tree | 38167b0bd4211654eb783a3771f4c7381b09ba95 /coq/coq-system.el | |
| parent | 43e54c598bbe778e67fe926e770b5235c6745045 (diff) | |
fix generic interrupt procedure to interrupt parallel background compilation
Diffstat (limited to 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions