Merge pull request #818 from googlefonts/drophints
authorrsheeter <rsheeter@google.com>
Tue, 27 Feb 2018 04:23:41 +0000 (20:23 -0800)
committerGitHub <noreply@github.com>
Tue, 27 Feb 2018 04:23:41 +0000 (20:23 -0800)
commit4a1d51ef15a423706406f784a146078073147885
tree2fd3b4f51dd91d82c69dc0eefb9f95ecff4f587a
parentd0caf7e5e3294c25230ed0e5580c647fa0f1a2c8
parent903771b6c7689b9eee9a11bac128c42f39833b2e
Merge pull request #818 from googlefonts/drophints

[subset] Drop hints
src/hb-subset.cc
util/options.hh