diff options
| author | alkamid <adamkli@gmail.com> | 2018-10-25 21:17:34 +0100 |
|---|---|---|
| committer | John Fultz <jfultz@wolfram.com> | 2019-07-22 02:01:45 -0700 |
| commit | 6d706891ad95093f969edc11d6edcb45c97efc48 (patch) | |
| tree | 4c2e65c90187554e26bd34fce1c1fc8b6f0befed /quackleio/flexiblealphabet.h | |
| parent | e73218cfb59c0fdd6f08e9f2c577bdd0666fa4f9 (diff) | |
Make UTF-8 default encoding (and write pragma)
When reading, leave ISO-8859-1 as the default, and only change stream encoding if #character-encoding present. When writing, set encoding to UTF-8 and write #character-encoding pragma at the top of the .gcg file.
Diffstat (limited to 'quackleio/flexiblealphabet.h')
0 files changed, 0 insertions, 0 deletions