diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-03-13 20:53:24 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-03-13 20:53:24 +0100 |
commit | d34a511ab861f3d230a638d1ed22514526f0363b (patch) | |
tree | e9804c9402e33c35fb297bb6b03f456e7a472730 /AUTHORS.md | |
parent | 0ee93122b9e367c08ed1d81c9cfc5919fc3a32af (diff) | |
parent | a56bc34fb850a6dca40c4f8562f3cb2d5b69dcc7 (diff) | |
download | dotty-d34a511ab861f3d230a638d1ed22514526f0363b.tar.gz dotty-d34a511ab861f3d230a638d1ed22514526f0363b.tar.bz2 dotty-d34a511ab861f3d230a638d1ed22514526f0363b.zip |
Merge pull request #409 from dotty-staging/add/strict
add/strict
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions