diff options
author | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-11-05 18:01:33 +0100 |
---|---|---|
committer | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-11-11 11:36:35 +0100 |
commit | 731493b3aa220bd639d45997a62c09e6acfc41b8 (patch) | |
tree | 708269738b33fefd4687ef470e0b623759b2dbb8 /interfaces | |
parent | 28c2e04dd33b6389a44460f977a97b8691265994 (diff) | |
download | dotty-731493b3aa220bd639d45997a62c09e6acfc41b8.tar.gz dotty-731493b3aa220bd639d45997a62c09e6acfc41b8.tar.bz2 dotty-731493b3aa220bd639d45997a62c09e6acfc41b8.zip |
Fix extra space
Diffstat (limited to 'interfaces')
0 files changed, 0 insertions, 0 deletions