From: drivers-valve <mikesart+drivers@gmail.com>
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;hp=bbde2d9e2a09224d1346a08386e10289b3e44977

Merge pull request #24 from PeterLValve/master

Fix issue #20: Search in the editor really slow; minor doc improvements
---