diff options
author | Will Dietz <w@wdtz.org> | 2017-12-30 21:29:23 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2017-12-30 22:41:49 -0600 |
commit | 5afee18726ce8241d56ea9690f228923441a8ea8 (patch) | |
tree | 53529f645fd7d4b7c318cac10381e587361d8a67 /doc/manual/introduction | |
parent | 6a0dd635084213bf75c1f36bc9bc38d242096e65 (diff) |
run.sh: include lib64 in sandbox-paths to fix on ubuntu 16.XX
(cc #1769)
Diffstat (limited to 'doc/manual/introduction')
0 files changed, 0 insertions, 0 deletions