| author | Cezary Kaliszyk <cezarykaliszyk@gmail.com> |
| Tue, 28 Feb 2012 15:13:42 +0100 | |
| changeset 3124 | 528704b5830e |
| parent 3082 | a6b0220fb8ae |
| child 3173 | 9876d73adb2b |
| permissions | -rw-r--r-- |
syntax: glob *~ .#* Quotient-Paper-jv/generated Quotient-Paper-jv/document.pdf qpaper-jv.pdf LMCS-Paper/generated LMCS-Paper/document.pdf lmcs-paper.pdf ESOP-Paper/generated ESOP-Paper/document.pdf esop-paper.pdf Fun-Paper/generated Fun-Paper/document.pdf fnpaper.pdf Pearl-jv/generated Pearl-jv/document.pdf pearl-jv.pdf Pearl/generated Pearl/document.pdf pearl.pdf