5 Commits

Author	SHA1	Message	Date
Julian Ospald	0f247d55ab	Update .gitignore	2018-07-17 21:34:38 +08:00
Julian Ospald	aaa6dc7e48	Update .gitignore	2016-05-09 19:56:45 +02:00
Julian Ospald	c454fb0b9e	Add liquidhaskell files to .gitignore	2015-12-27 16:25:45 +01:00
Julian Ospald	38fda9e768	Update .gitignore	2015-12-20 00:31:25 +01:00
Julian Ospald	d13cdac9e0	Initial commit	2015-12-17 04:42:22 +01:00