diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-12-16 10:55:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-16 10:55:42 +0100 |
commit | 653698ef67a5cf8f5e0fd0fcdcd1f631f1dc96e2 (patch) | |
tree | 9ba2ced6eca5d58190dcdb40422be3e0ff2380be /.gitignore | |
parent | 50bcb1ac954436d011cf11a30ef0ee4a066c00d1 (diff) | |
parent | 9411539eac8aaa8f052b7e6701d5d1d2b833d409 (diff) | |
download | dotty-653698ef67a5cf8f5e0fd0fcdcd1f631f1dc96e2.tar.gz dotty-653698ef67a5cf8f5e0fd0fcdcd1f631f1dc96e2.tar.bz2 dotty-653698ef67a5cf8f5e0fd0fcdcd1f631f1dc96e2.zip |
Merge pull request #1763 from dotty-staging/fix/annotations
Fix emission of annotations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions