diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-01-03 13:20:29 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-01-03 13:20:29 +0100 |
| commit | eb689d60aca8fc80e27ea60c4e4d7e848b01bea9 (patch) | |
| tree | 9790f71c1575db04ed3c5a5b58fb7c764980e31e /src | |
| parent | 0b1c78b58644001e63ea0dad63138ad74b62e5ba (diff) | |
remove deprecated --type-check option
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions