diff options
| author | Ralf Treinen | 2020-03-20 19:46:18 +0100 |
|---|---|---|
| committer | Ralf Treinen | 2020-03-20 19:46:18 +0100 |
| commit | 8f61c2c95c0fc3172d3c6e861100420f9270a1a2 (patch) | |
| tree | 200207d1638e9e601216dd0525be1be465c8ed3f /plugins/syntax/float_syntax.ml | |
| parent | 5b7a6471cf812a708dbbb8943f30d525e46250f6 (diff) | |
python3 script does not need to import from the future
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions