Merge pull request #212 from JohnDoh/patch-1
add include_plugin function for optional plugins
Description
Description
Details
Details
- Provenance
Thomas B. Authored on Aug 21 2014, 5:50 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:4eee212883b3: add include_plugin function for optoinal plugins
R3:fe03a9074d87: Add some localizations - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes