Skip to content

Feature #2597 remove manage_externals and its config files#2785

Merged
georgemccabe merged 1 commit intodevelopfrom feature_2597_remove_manage_externalsNov 13, 2024