mikedeboer/jsDAV — pull request #37 by javruben (2012-04-11 08:17:45+00:00)
Title: * new file list plugin based on file search but with a json protocol

@mikedeboer This is an optimization for gotofile: https://github.com/ajaxorg/cloud9/pull/1252