Rename bgdrtm to pxtrtm

Issue #21 closed
Joseba Echevarria García repo owner created an issue

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)

  1. Log in to comment