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