blob: 10d1ebc4394886f73a54fe5dd776e888a4a55242 [file] [log] [blame]
package casesensitive
/*@
workspacesymbolcasesensitive("dunk", dunk)
workspacesymbolcasesensitive("Dunk", Dunk)
*/