mikedeboer/jsDAV — pull request #20 by mikedeboer (2011-11-16 09:56:12+00:00)
Title: Hotfix/codesearch filetypes

@sergi, please check this out :)