diff options
| author |  mitchell <70453897+667e-11@users.noreply.github.com> | 2017-08-20 16:06:55 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2017-08-20 16:06:55 -0400 |
| commit | 7890b0082d1604ef1981c1f17344a469cd9978a4 (patch) | |
| tree | 420ea3487466917b3012133844823e48fae88408 /scripts | |
| parent | f22f182747e31e3d51096009940a53bb65d6950b (diff) | |
Added optional encoding parameter to `io.open_file()`.
Sometimes encoding auto-detection via `io.encodings` is more trouble than it's
worth.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions