Add Settings.extra_lib_dirs to allow loading files from multiple locations
#271
| Job | Run time |
|---|---|
| 8s | |
| 2m 29s | |
| 23s | |
| 1m 16s | |
| 2m 29s | |
| 23s | |
| 7m 8s |
Settings.extra_lib_dirs to allow loading files from multiple locations
#271
| Job | Run time |
|---|---|
| 8s | |
| 2m 29s | |
| 23s | |
| 1m 16s | |
| 2m 29s | |
| 23s | |
| 7m 8s |