diff options
| author | Emmanuel N. Millan <emmanueln@gmail.com> | 2019-08-24 07:08:39 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-08-24 07:08:39 +0700 |
| commit | 9cde194db4da4b7a72c9f2972cf2a904867dfbfe (patch) | |
| tree | 36b8dcb99e2b8aa4ec935b09df07ff56f0e5207d /desktop | |
| parent | d4c5f2d9b62f9b1549d9056007b98e55fced3bcc (diff) | |
system/openmpi: Added new option.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'desktop')
0 files changed, 0 insertions, 0 deletions