]> git.tdb.fi Git - builder.git/commitdiff
Make it possible for plugins to require other plugins
authorMikko Rasa <tdb@tdb.fi>
Tue, 3 Jan 2023 12:16:42 +0000 (14:16 +0200)
committerMikko Rasa <tdb@tdb.fi>
Tue, 3 Jan 2023 12:16:42 +0000 (14:16 +0200)
This is used to ensure correct ordering if one plugin customizes tools
from another.


No differences found