Skip to content
Snippets Groups Projects

Add KiCS2-generated Curry_Main_Goal to generated gitignore

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