ADDED: swipl pack rebuild [--dir=dir] [pack ...]
#913
| Job | Run time |
|---|---|
| 2m 55s | |
| 2m 55s |
swipl pack rebuild [--dir=dir] [pack ...]
#913
| Job | Run time |
|---|---|
| 2m 55s | |
| 2m 55s |