diff options
author | liu fengyun <liufengyunchina@gmail.com> | 2017-02-02 11:55:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-02 11:55:15 +0100 |
commit | fc031140ec00f2bfdc79456e1de9e15ae7df8d9a (patch) | |
tree | fdb1c936532babdc32c25217507b383390c4c5ba /project | |
parent | ea70ff821c8694186bc7e736a1bcb663baa88cf5 (diff) | |
parent | 485df22dcceb36c3970f2e39d0778d137148f65b (diff) | |
download | dotty-fc031140ec00f2bfdc79456e1de9e15ae7df8d9a.tar.gz dotty-fc031140ec00f2bfdc79456e1de9e15ae7df8d9a.tar.bz2 dotty-fc031140ec00f2bfdc79456e1de9e15ae7df8d9a.zip |
Merge pull request #1627 from dotty-staging/prettyprint
fix #1626: inconsistent names in prettyprint
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions