ajaxorg/jsDAV — pull request #24 by gjtorikian (2012-05-11 22:48:01+00:00)
Title: Updates for search in files

For a full discussion, see here: https://github.com/ajaxorg/cloud9/pull/1487