diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2017-04-19 11:32:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-19 11:32:20 -0500 |
| commit | 423fe1142702a93613e625f1deb9c2634cf3567b (patch) | |
| tree | b463f3b0275e7619cd617fe07cd52a77877f5ecc /interfaces/src/dotty/tools | |
| parent | d799a9162da02eb6033f5d7af5ea48849cd4232b (diff) | |
| download | dotty-DarkDimius-patch-1.tar.gz dotty-DarkDimius-patch-1.tar.bz2 dotty-DarkDimius-patch-1.zip | |
Fix the fixDarkDimius-patch-1
Long time since I wrote this code. Forgot that `State` doesn't read the state.
Diffstat (limited to 'interfaces/src/dotty/tools')
0 files changed, 0 insertions, 0 deletions