diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-08-17 15:25:47 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-08-17 15:33:19 +0200 |
| commit | a82f72eb04d4b5766f12d94febdf2f989ca7210a (patch) | |
| tree | fc43378dbb7ae7c2e16e81814fdbe9bfcff38a1f /.gitignore | |
| parent | 15651ab0020ba594bff02491b3d2b6472f5e4fda (diff) | |
| download | dabmod-a82f72eb04d4b5766f12d94febdf2f989ca7210a.tar.gz dabmod-a82f72eb04d4b5766f12d94febdf2f989ca7210a.tar.bz2 dabmod-a82f72eb04d4b5766f12d94febdf2f989ca7210a.zip | |
Add number of threads setting for MemlessPoly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions