Closed DavidGZ closed 6 years ago
@pulsar122, would you like people sending PRs against your https://github.com/pulsar122/tos.hyp ? If so, we can remove FreeMiNT's copy of toshyp to avoid confusion.
@pulsar122, would you like people sending PRs against your https://github.com/pulsar122/tos.hyp ? If so, we can remove FreeMiNT's copy of toshyp to avoid confusion.