]> granicus.if.org Git - fribidi/commit
Merge pull request #113 from ebraminio/master
authorDov Grobgeld <dov.grobgeld@gmail.com>
Fri, 23 Aug 2019 07:26:56 +0000 (10:26 +0300)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 07:26:56 +0000 (10:26 +0300)
commit0f849e344d446934b4ecdbe9edc32abd29029731
tree7257791d08f1f073c59cd30e2f7e2c2bf08c53d3
parent49196f3f98ad73881bf382ce0663279b4ebe34fb
parentcae9d6efc86bfc0f948df7879d0a0a84a939fbbb
Merge pull request #113 from ebraminio/master

Avoid use of libc's bsearch for performance and portability reasons