tree 6cc905aade847d8839df8682ba5753a3005a1d0c
parent f1f210f8be69b8b4b4a733d39d15139b5cb6cdb2
author amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1236007932 +0000
committer amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1236007932 +0000

This patch enables Gwt's custom resource-filters to handle patterns that end in
'/'. As per the specs in ant's DirectoryScanner, such patterns are handled by
appending a '**' to the pattern. 

Patch by: amitmanjhi
Review by: jat (desk review)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4900 8db76d5a-ed1c-0410-87a9-c151d255dfc7