cpm merge requestshttps://git.ps.informatik.uni-kiel.de/curry-packages/cpm/-/merge_requests2021-04-23T09:21:59Zhttps://git.ps.informatik.uni-kiel.de/curry-packages/cpm/-/merge_requests/3Add KiCS2-generated Curry_Main_Goal to generated gitignore2021-04-23T09:21:59ZFredrik WieczerkowskiAdd KiCS2-generated Curry_Main_Goal to generated gitignoreThe `Curry_Main_Goal.curry` generated by the KiCS2 REPL is a temporary file and usually shouldn't be versioned in Curry projects.The `Curry_Main_Goal.curry` generated by the KiCS2 REPL is a temporary file and usually shouldn't be versioned in Curry projects.