Viewing all changes in revision 380.
- Committer: Mehdi Dogguy
- Date: 2014-10-25 12:47:44 UTC
- Revision ID: git-v1:a240f1819d273e533c0083b0f216cfd9765d2557
Replace 'cores' with a more generic 'parallelism level'
- files modified:
- lib/benl_frontend.ml
expand all
collapse all
added
removed
