| changeset 2997 | 132575f5bd26 |
| parent 2980 | e239c9f18144 |
| child 3082 | a6b0220fb8ae |
| 2996:aedcf9e5aa3b | 2997:132575f5bd26 |
|---|---|
1 syntax: glob |
1 syntax: glob |
2 |
2 |
3 *~ |
3 *~ |
4 .#* |
4 .#* |
5 |
|
6 LMCS-Paper/generated |
|
7 LMCS-Paper/document.pdf |
|
8 lmcs-paper.pdf |
|
5 |
9 |
6 ESOP-Paper/generated |
10 ESOP-Paper/generated |
7 ESOP-Paper/document.pdf |
11 ESOP-Paper/document.pdf |
8 esop-paper.pdf |
12 esop-paper.pdf |
9 |
13 |