Rename some hints/
commite83cc3c0d18a0db0cfaa34160d0b95e450fdd8ef
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 24 Jul 2017, 22:44 (9 years ago)
parenta958a9d
hints/effects.md → hints/effect-modules.mdrenamed
The content is the same.
hints/ports.md → hints/port-modules.mdrenamed
The content is the same.