diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-12-16 10:53:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-16 10:53:13 +0100 |
commit | 8643876e31d6668555cf903c0a21ee49122f4f17 (patch) | |
tree | eb3523d93595008b2741117d92a9ff1d37d950fd /docs/_includes | |
parent | a5620ab882b95ef60acf42814ac5568d5f93bdd4 (diff) | |
parent | b1553cb9c5894e2e91925a67afd2c986675e5c46 (diff) | |
download | dotty-8643876e31d6668555cf903c0a21ee49122f4f17.tar.gz dotty-8643876e31d6668555cf903c0a21ee49122f4f17.tar.bz2 dotty-8643876e31d6668555cf903c0a21ee49122f4f17.zip |
Merge pull request #1801 from dotty-staging/fix-#1790
Fix #1790: Change by-name pattern matching.
Diffstat (limited to 'docs/_includes')
0 files changed, 0 insertions, 0 deletions