Skip to content

Add KiCS2-generated Curry_Main_Goal to generated gitignore

Fredrik Wieczerkowski requested to merge curry-main-goal-gitignore into master

The Curry_Main_Goal.curry generated by the KiCS2 REPL is a temporary file and usually shouldn't be versioned in Curry projects.

Merge request reports