Closed stuartpb closed 8 years ago
Adding a new extension directory and having pulltool immediately recognize which unpacked extension it corresponds to would be spectacular.
Wouldn't even work, due to apps not being allowed to manage extensions. See #11.
Adding a new extension directory and having pulltool immediately recognize which unpacked extension it corresponds to would be spectacular.