diff options
author | 2012-11-14 11:38:50 +0000 | |
---|---|---|
committer | 2012-11-14 11:38:50 +0000 | |
commit | 70183fa234acec75f024c4821942771f1a1a3b6c (patch) | |
tree | 3aea55aedaaf3e490970fbfd638448155b246f66 /etc/coq/parsingdot.v | |
parent | 6ad6776fe57c191a9ed48f0a3d6cd6d21e74e11a (diff) |
all-cpus option for coq-max-background-compilation-jobs
Diffstat (limited to 'etc/coq/parsingdot.v')
0 files changed, 0 insertions, 0 deletions