An error occurred while fetching folder content.
Forked from
agnumpde / dune-tectonic
Source project has a limited visibility.
Name | Last commit | Last update |
---|
replace_extension() operates in-place. Hence searchDirectoriesForPlugins was previously returning the path without the suffix (e.g. .dll) due to it being removed by replace_extension in the if statement
Name | Last commit | Last update |
---|---|---|