diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-08 21:24:07 +1100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-04 13:28:44 +0200 |
commit | b4ece2a235cc335d3afc58112652f6c98b25435f (patch) | |
tree | b55c08001f7cfc7a232842d015373427eb934c93 /compiler/test/dotty/tools | |
parent | c2790577d64b039792618c92e6ab7cff7a7ed824 (diff) | |
download | dotty-b4ece2a235cc335d3afc58112652f6c98b25435f.tar.gz dotty-b4ece2a235cc335d3afc58112652f6c98b25435f.tar.bz2 dotty-b4ece2a235cc335d3afc58112652f6c98b25435f.zip |
Comment out unused method in Context
Diffstat (limited to 'compiler/test/dotty/tools')
0 files changed, 0 insertions, 0 deletions