| changeset 602 | 642b3654b8f1 |
| parent 315 | 877f89ec1efa |
| child 632 | e85856bfd59b |
| 601:ae287132c61e | 602:642b3654b8f1 |
|---|---|
50 ^\.pydevproject$ |
50 ^\.pydevproject$ |
51 syntax: regexp |
51 syntax: regexp |
52 ^web/static/media/cache$ |
52 ^web/static/media/cache$ |
53 syntax: regexp |
53 syntax: regexp |
54 ^\.settings/org\.eclipse\.core\.resources\.prefs$ |
54 ^\.settings/org\.eclipse\.core\.resources\.prefs$ |
55 syntax: regexp |
|
56 ^web/static/media/thumbnails$ |