From: Mikko Rasa <tdb@tdb.fi>
Date: Wed, 28 Dec 2022 13:43:18 +0000 (+0200)
Subject: Rename builtintools to basetools
X-Git-Url: http://git.tdb.fi/?a=commitdiff_plain;h=3d4ef1b93e8cfd8467efd132cb80ad4bd368f33a;hp=3d4ef1b93e8cfd8467efd132cb80ad4bd368f33a;p=builder.git

Rename builtintools to basetools

It doesn't make much sense to call it "builtin" if it's actually a
plugin.
---