diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-12-09 17:49:03 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-12-14 21:18:16 +0100 |
| commit | 43e54c598bbe778e67fe926e770b5235c6745045 (patch) | |
| tree | a5e3bf2bef80dd8814bbc9d851a2e780e3fffc39 /generic/proof-config.el | |
| parent | 527f5922437f25868377408a9eecfc76592d5758 (diff) | |
fix race in vio2vo compilation start
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions