diffblue-cbmc/.gitattributes

*.cpp text
*.c text
*.h text
*.y text
*.tex text
*.shtml text
*.html text
*.css text
Makefile text
added .gitattributes 2016-08-11 20:05:48 +08:00			`*.cpp text`
			`*.c text`
			`*.h text`
			`*.y text`
more text files 2016-08-11 20:08:02 +08:00			`*.tex text`
			`*.shtml text`
			`*.html text`
			`*.css text`
added .gitattributes 2016-08-11 20:05:48 +08:00			`Makefile text`