|
7623f511a0
|
Change the version number of add_lib_ppl
|
2020-12-29 13:51:46 +00:00 |
|
|
b2b8430a68
|
Fix the problems caused by the fixes to the previous problems caused by the original fix
|
2020-12-29 13:50:56 +00:00 |
|
|
0edc70bac8
|
Make add_lib_ppl also set the shell path for /bin
|
2020-12-29 12:52:20 +00:00 |
|
|
c46219fa96
|
Fix the problems that the fixes have caused
|
2020-12-29 12:44:11 +00:00 |
|
|
e2e7ff467c
|
Hopefully fix the mysterious issues this causes
|
2020-12-29 12:31:24 +00:00 |
|
|
83c25fc26a
|
Actually add add_lib_ppl, whoops.
|
2020-12-29 12:23:52 +00:00 |
|