Paul Sokolovsky f00ecdb54d extmod/moduos_dupterm: Renamed to uos_dupterm. ...

As part of file naming clean up (moduos_dupterm doesn't implement a
full module, so should skip "mod" prefix, similar to other files in
extmod/).

2016-10-26 02:08:37 +03:00

3.2 KiB

Raw Blame History

View Raw