diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2015-11-11 15:35:22 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2015-11-11 15:35:22 +0100 |
| commit | 522c1f21b6b868a364534bc7cf4bb4f62e1b1b45 (patch) | |
| tree | e095541b19ae1fa24af207e30f06ef38801168a0 /src | |
| parent | f838a747d240d157a2c3250cef97b6937b56e8aa (diff) | |
| parent | 697253ce65c48fc734f0cd3332788c79a2de5acb (diff) | |
| download | dotty-522c1f21b6b868a364534bc7cf4bb4f62e1b1b45.tar.gz dotty-522c1f21b6b868a364534bc7cf4bb4f62e1b1b45.tar.bz2 dotty-522c1f21b6b868a364534bc7cf4bb4f62e1b1b45.zip | |
Merge pull request #936 from dotty-staging/more-collections
Get more collections whitelisted
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions