fix windows line breaks for cygwin scripts

Former-commit-id: dd5bf490a19cd54f9cf5d05e1d5f1f53ab39e6d8 [formerly ca7da9758dacfee2bf0939e70bc764da126d7f98] Former-commit-id: e1d08329dbec33e45b444fd0ed41541b2302381d
runtimeverification · Sep 2, 2015 · 1413026 · 1413026
1 parent d00433e
commit 1413026
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,3 @@
+k-distribution/src/main/scripts/lib/k text eol=lf
+k-distribution/src/main/scripts/lib/setenv text eol=lf
+k-distribution/src/main/scripts/lib/checkJava text eol=lf