]> granicus.if.org Git - onig/commitdiff
Merge pull request #111 from petk/patch-unused-configs
authorK.Kosako <kkosako0@gmail.com>
Sat, 8 Sep 2018 01:01:38 +0000 (10:01 +0900)
committerGitHub <noreply@github.com>
Sat, 8 Sep 2018 01:01:38 +0000 (10:01 +0900)
Remove unused defined symbols


Trivial merge