diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-01-08 21:12:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-08 21:12:02 -0500 |
| commit | 176b93d08eb5cc0c65a6d571fc2c1fec5f575854 (patch) | |
| tree | e4445b1869a5e7a28913f50dd50306112e2c1510 /util/travis_compiled_push.sh | |
| parent | 18d013b25b3b6604b943bb0d889642ad18e49cc3 (diff) | |
| parent | 30b80a23f3cafd846937b37b249f2df4411e1f5a (diff) | |
Merge pull request #994 from priyadi/unicode_mods_fix
Unregister all mods before inputting Unicode, and reregister afterwards
Diffstat (limited to 'util/travis_compiled_push.sh')
0 files changed, 0 insertions, 0 deletions