Revision 390e7984ad2530b0a3f819b43b84bffd628c1f3a

Committed on 23/07/2018 8:00 am by Filip Š <[email protected]> [GitHub Diff]

Add newline at the end of .gitignore