diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-04-16 22:19:35 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-04-16 22:19:35 +0200 |
commit | ad5b08c041e7411985e7ae84747dfff83ddb1846 (patch) | |
tree | 01263639819b0a8543c30fe3be0f1306c0dc7db4 /.gitignore | |
parent | b6c3ab9136c0e1e25e56f7df4adb14dbe5633a40 (diff) | |
parent | afaec8245018b4f2a1ec945d132daf558236380e (diff) | |
download | dotty-ad5b08c041e7411985e7ae84747dfff83ddb1846.tar.gz dotty-ad5b08c041e7411985e7ae84747dfff83ddb1846.tar.bz2 dotty-ad5b08c041e7411985e7ae84747dfff83ddb1846.zip |
Merge pull request #485 from dotty-staging/interceptedM
Simplify InterceptedMethods. Fix #439
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions