diff options
| author | odersky <odersky@gmail.com> | 2015-10-31 13:07:05 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-10-31 13:07:05 +0100 |
| commit | 08e880231ff5facd55a80bed0391b22fe85a9f44 (patch) | |
| tree | a4e3b355d784743300a89621cccf0fe79a0cd884 /.gitignore | |
| parent | c5fedba675ce958715d1ff35a78a3e71f9a55d97 (diff) | |
| parent | 03bf4904c9abb50d97d3a7ae0dd70d0456a9f9fb (diff) | |
| download | dotty-08e880231ff5facd55a80bed0391b22fe85a9f44.tar.gz dotty-08e880231ff5facd55a80bed0391b22fe85a9f44.tar.bz2 dotty-08e880231ff5facd55a80bed0391b22fe85a9f44.zip | |
Merge pull request #896 from dotty-staging/gitignore
Fix #895: Maintain keep file during bootstrap
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 95d95ca11..aa7fd2164 100644 --- a/.gitignore +++ b/.gitignore @@ -30,3 +30,8 @@ classes/ tests/partest-generated/ tests/locks/ /test-classes/ + + +# Ignore output files but keep the directory +out/ +!out/.keep |