ajaxorg/jsDAV — pull request #4 by mikedeboer (2011-11-16 09:57:32+00:00)
Title: Hotfix/codesearch filetypes

@sergi please check this out ;)