Add Settings.extra_lib_dirs to allow loading files from multiple locations
#1409
| Job | Run time |
|---|---|
| 18s | |
| 2m 4s | |
| 1m 54s | |
| 2m 4s | |
| 6m 20s |
Settings.extra_lib_dirs to allow loading files from multiple locations
#1409
| Job | Run time |
|---|---|
| 18s | |
| 2m 4s | |
| 1m 54s | |
| 2m 4s | |
| 6m 20s |