Merge 45e28779f639b16a053db898ddc1509eb9b39fff into 7b22f8ab6c85b4ef1469d72a8ba96462e2a44853 · a98339c54c - gitignore - source @ dussan.org

Merge `45e28779f6` into `7b22f8ab6c`

undefined

Jan-Hendrik Matthes 3 weeks ago

parent

7b22f8ab6c 45e28779f6

commit

a98339c54c

No account linked to committer's email address

1 changed files with 3 additions and 0 deletions

Split View Show Diff Stats

						
							+ 3
							
							- 0
						
Curry.gitignoreView File
								
			@@ -0,0 +1,3 @@
		
			.cpm/
		
			.curry/
		
			Curry_Main_Goal.curry