From: Mikko Rasa Date: Tue, 3 Jan 2023 12:16:42 +0000 (+0200) Subject: Make it possible for plugins to require other plugins X-Git-Url: http://git.tdb.fi/?a=commitdiff_plain;h=f9f8b6926a842f241edf7db6590af4b47a87bfd3;hp=f9f8b6926a842f241edf7db6590af4b47a87bfd3;p=builder.git Make it possible for plugins to require other plugins This is used to ensure correct ordering if one plugin customizes tools from another. ---