Closed lierdakil closed 7 years ago
What is that "etch" tool?
https://github.com/atom/etch/
This PR is more of an internal housekeeping thing. Not really related to functionality directly.
Ah, great! 10x!
What is that "etch" tool?