diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-02-19 14:13:36 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2016-02-19 14:13:36 +0100 |
commit | ea407f143591aa9ffd0fd0f9a25a9ec9e812e76c (patch) | |
tree | e21df2017f852a3bc2e45736e5b1bd38a96c35ef /docs | |
parent | 46b7fc713da460023073c9a9d4d25fc2c7acf5e2 (diff) | |
parent | 70f5d93898095aa47b8f7bb33de00d415888dfcf (diff) | |
download | dotty-ea407f143591aa9ffd0fd0f9a25a9ec9e812e76c.tar.gz dotty-ea407f143591aa9ffd0fd0f9a25a9ec9e812e76c.tar.bz2 dotty-ea407f143591aa9ffd0fd0f9a25a9ec9e812e76c.zip |
Merge pull request #1106 from dotty-staging/neg-lines
Neg tests check files for // error markers (rebased and updated)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions