2 Commits

Include renames

Author	SHA1	Message	Date
Ivan Zuzak	f0dde55c6b	ensure single trailing newline	2013-10-06 14:40:01 +02:00
DanandChris Wanstrath	2483494fc2	add Coq gitignore	2010-11-22 17:42:32 -08:00