From: drivers-valve Date: Tue, 18 Mar 2014 23:39:09 +0000 (-0700) Subject: Merge pull request #24 from PeterLValve/master X-Git-Url: https://git.cworth.org/git?p=vogl;a=commitdiff_plain;h=0be623b7893956f940578782eec0b4b123834ff8 Merge pull request #24 from PeterLValve/master Fix issue #20: Search in the editor really slow; minor doc improvements --- 0be623b7893956f940578782eec0b4b123834ff8