diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2017-10-26 10:24:38 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2017-10-26 10:24:38 +0200 |
commit | 27c128cab8c098dc93de5ef5be34fbbe7b3cab77 (patch) | |
tree | 7beb7f5a0c57a7956a5c1d95d40ed1b28606a15e /community/clingo/PKGBUILD | |
parent | 27e75f29d3303e14e85f2d4952eb5ce2ce14a8fb (diff) | |
download | packages-27c128cab8c098dc93de5ef5be34fbbe7b3cab77.tar.xz |
community/virtualbox: trying to patch kmk with -j1 to get rid of the virtual memory exhausted problem
Diffstat (limited to 'community/clingo/PKGBUILD')
0 files changed, 0 insertions, 0 deletions