diff options
| author | Georgios Andreadis <info@gandreadis.com> | 2020-07-20 12:44:04 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-08-24 19:48:12 +0200 |
| commit | 53e60ccf0636e0076837d66a7dbea527e3b6e98d (patch) | |
| tree | 041f83ae919d7ee9b5691a1666dbb61af26967d0 /.gitattributes | |
| parent | d8479e7e3744b8d1d31ac4d9f972e560eacd2cf8 (diff) | |
| parent | 2a5f50e591f5e9c1da5db2f2011c779a88121675 (diff) | |
Merge pull request #9 from atlarge-research/feat/opendc-node
Add simulator integration
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes index 526c8a38..9d6ef431 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1 +1,5 @@ -*.sh text eol=lf
\ No newline at end of file +# https://help.github.com/articles/dealing-with-line-endings/ +# +# These are explicitly windows files and should use crlf +*.bat text eol=crlf +*.sh text eol=lf |