Debug panel for the web page
Description
(similar to information but smaller in font size) - git revision, build date, rust version, etc
Should make use of emukit - boytacean#6 (closed)
Edited by João Magalhães
(similar to information but smaller in font size) - git revision, build date, rust version, etc
Should make use of emukit - boytacean#6 (closed)