diff options
| author | odersky <odersky@gmail.com> | 2014-06-20 15:15:16 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2014-06-20 15:15:16 +0200 |
| commit | a8cb929a368f01819c16393a97291e82bc4a2738 (patch) | |
| tree | 82af4c43d1167cc0d897d31b1afa855c068f856e /bin | |
| parent | 7bc5cd18ee4f881f223e9a317e6c6a329942d5af (diff) | |
| parent | c2175ec910165308e81c48bd8ca8910c50862be4 (diff) | |
| download | dotty-a8cb929a368f01819c16393a97291e82bc4a2738.tar.gz dotty-a8cb929a368f01819c16393a97291e82bc4a2738.tar.bz2 dotty-a8cb929a368f01819c16393a97291e82bc4a2738.zip | |
Merge pull request #136 from dotty-staging/fix/systematic-prototypes
Fix/systematic prototypes
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions