summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthijs Bijman <matthijs@bijman.org>2017-02-16 22:05:12 +0100
committerMatthijs Bijman <matthijs@bijman.org>2017-02-16 22:05:12 +0100
commit6cbe8d6bd74126c4c041e8b98fc9fdbcc1c30e05 (patch)
treeef6aa3257e09a840ed3a3add59d0b87eefa2ec0d
parent1e555619094c310ad7ed060fa28bc0a26b565896 (diff)
parenta195d18a07fa4f7ad322ed0ac21337135917248c (diff)
Merge branch 'master' of https://github.com/tudelft-atlarge/opendc
-rw-r--r--.gitattributes1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 00000000..526c8a38
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1 @@
+*.sh text eol=lf \ No newline at end of file