diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2014-09-05 08:34:14 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2014-09-05 08:34:14 +0200 |
commit | 6abd67360652430988e297f583cd1296e0d2c1ab (patch) | |
tree | 9517a89518925eae92ef8f7f4b6057fc3dedc11b /lib/pure | |
parent | 967b5079f6c9b97040cf8d4ed7710ade5738a8d8 (diff) | |
parent | bab41babeafc69a14f757f55e9a876315089f1e7 (diff) | |
download | Nim-6abd67360652430988e297f583cd1296e0d2c1ab.tar.gz |
Merge pull request #1455 from gradha/pr_parallelize_doc_build
Parallelizes documentation building.
Diffstat (limited to 'lib/pure')
0 files changed, 0 insertions, 0 deletions