diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:34 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:34 +0100 |
commit | 465ea96afb46e29fb523dad884f0ba860eeea6ff (patch) | |
tree | 320fd322e2a6972a142cba0edd7c75b36d83e8a0 /tests/pos | |
parent | edfb6e72076b216c4762b52a5b9558fd9d106148 (diff) | |
download | dotty-465ea96afb46e29fb523dad884f0ba860eeea6ff.tar.gz dotty-465ea96afb46e29fb523dad884f0ba860eeea6ff.tar.bz2 dotty-465ea96afb46e29fb523dad884f0ba860eeea6ff.zip |
add out/ to .gitignore
It messes up git operations with out/.keep out of date.
Diffstat (limited to 'tests/pos')
0 files changed, 0 insertions, 0 deletions