| changeset 17 | 38611b2c2782 |
| parent 13 | a5c4f3bf91a7 |
| child 21 | 5f3e270580af |
| 16:984dd6395764 | 17:38611b2c2782 |
|---|---|
8 syntax: regexp |
8 syntax: regexp |
9 ^\.pydevproject$ |
9 ^\.pydevproject$ |
10 ^\.project$ |
10 ^\.project$ |
11 ^\.settings/org\.eclipse\.core\.resources\.prefs$ |
11 ^\.settings/org\.eclipse\.core\.resources\.prefs$ |
12 ^\.settings/org\.eclipse\.core\.runtime\.prefs$ |
12 ^\.settings/org\.eclipse\.core\.runtime\.prefs$ |
13 |
13 ^web/static/media/cache$ |