atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Add a `clean` command

Open archaeron opened this issue 9 years ago • 1 comments

archaeron avatar Mar 03 '16 10:03 archaeron

Maybe we can have a look at https://atom.io/packages/build to provide build, clean, install etc. functionality. Haven't checked it though, it just works pretty well with Makefiles (with a Makefile provider)

justjoheinz avatar Mar 18 '16 16:03 justjoheinz