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 /tests/pos | |
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 'tests/pos')
0 files changed, 0 insertions, 0 deletions