idris-java icon indicating copy to clipboard operation
idris-java copied to clipboard
verified publisher icon idris-hackers

The "--yes-really" argument has been removed from idris.

Open melted opened this issue 10 years ago • 0 comments

Updated the usage with a hint for humans.

melted avatar Sep 17 '15 19:09 melted