2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	f841845b0d	Issue 176 resolved: a build is taken in where its outcome is heard; the build tool answers with the id	2026-10-01 01:27:49 +02:00
jschoubben	93f828c5eb	Issue 176: the console's build tool neither waits nor registers, and does not take a forge path	2026-10-01 00:29:05 +02:00