diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-02-28 20:10:31 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-02-28 20:10:31 +0100 |
commit | ba67e556271156c11f5f313f68891bf18f7a51d2 (patch) | |
tree | 8d091cbf9789000ac72910a3735b7e01da92362c /project/plugins.sbt | |
parent | c2cb4694556731aaa243889d702afb5ac2b9e74a (diff) | |
parent | 7e7ee820df7647680d9aaf1ca991fe9718159097 (diff) | |
download | dotty-ba67e556271156c11f5f313f68891bf18f7a51d2.tar.gz dotty-ba67e556271156c11f5f313f68891bf18f7a51d2.tar.bz2 dotty-ba67e556271156c11f5f313f68891bf18f7a51d2.zip |
Merge pull request #1125 from dotty-staging/add/interface
Add a `dotty-interfaces` package
Diffstat (limited to 'project/plugins.sbt')
0 files changed, 0 insertions, 0 deletions