ajaxorg/jsDAV — pull request #5 by mikedeboer (2011-11-17 10:15:38+00:00)
Title: Hotfix/codesearch filetypes

@sergi