]> git.tdb.fi Git - builder.git/history - plugins/base/basetools.h
Rename builtintools to basetools
[builder.git] / plugins / base / basetools.h
2022-12-28 Mikko RasaRename builtintools to basetools
2022-12-28 Mikko RasaConvert builtin tools into a plugin