| changeset 2980 | e239c9f18144 |
| child 2997 | 132575f5bd26 |
| 2979:1dde421e380b | 2980:e239c9f18144 |
|---|---|
1 syntax: glob |
|
2 |
|
3 *~ |
|
4 .#* |
|
5 |
|
6 ESOP-Paper/generated |
|
7 ESOP-Paper/document.pdf |
|
8 esop-paper.pdf |
|
9 |
|
10 Fun-Paper/generated |
|
11 Fun-Paper/document.pdf |
|
12 fnpaper.pdf |
|
13 |
|
14 Pearl-jv/generated |
|
15 Pearl-jv/document.pdf |
|
16 pearl-jv.pdf |
|
17 |
|
18 Pearl/generated |
|
19 Pearl/document.pdf |
|
20 pearl.pdf |
|
21 |