]> git.cworth.org Git - vogl/commitdiff
Merge pull request #24 from PeterLValve/master
authordrivers-valve <mikesart+drivers@gmail.com>
Tue, 18 Mar 2014 23:39:09 +0000 (16:39 -0700)
committerCarl Worth <cworth@cworth.org>
Tue, 1 Apr 2014 19:37:30 +0000 (12:37 -0700)
Fix issue #20: Search in the editor really slow; minor doc improvements


Trivial merge