]> git.tdb.fi Git - builder.git/commitdiff
Rename builtintools to basetools
authorMikko Rasa <tdb@tdb.fi>
Wed, 28 Dec 2022 13:43:18 +0000 (15:43 +0200)
committerMikko Rasa <tdb@tdb.fi>
Wed, 28 Dec 2022 15:39:13 +0000 (17:39 +0200)
It doesn't make much sense to call it "builtin" if it's actually a
plugin.


No differences found