- changed status to closed
Rename bgdrtm to pxtrtm
Issue #21
closed
The runtime code is still named "bgdrtm", which is inconsistent with the new project name. This is a fairly large (and boring) task, but should be done for the sake of consistency.
Comments (1)
-
reporter - Log in to comment
Close
#21→ <<cset 7e4196be4ae3>>