Commit Graph
2 Commits
Author SHA1 Message Date
Jan-Hendrik Matthes 45e28779f6 Ignore the Curry_Main_Goal file 2019-12-07 20:36:00 +01:00
Jan-Hendrik Matthes e978bd0e6b Add .gitignore file for Curry 2019-12-07 16:28:03 +01:00