idris-mode icon indicating copy to clipboard operation
idris-mode copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

"idris-start-project Incorrectly starts projects in idris2

Open FFFluoride opened this issue 1 year ago • 1 comments

In the .ipkg file, the value of sourcedir should be surrounded by quotes but isn't.

FFFluoride avatar Dec 27 '23 22:12 FFFluoride

thank you for reporting!

keram avatar Jan 07 '24 19:01 keram