| Filename | Modification time | Size |
|---|---|---|
| agenda.pdf | 107 KiB | |
| agenda.tex | 3230 B | |
| chair.pdf | 112 KiB | |
| chair.tex | 3244 B | |
| department.min | 2000 B | |
| minutes.pdf | 112 KiB | |
| minutes.tex | 3508 B |
| Filename | Modification time | Size |
|---|---|---|
| agenda.pdf | 107 KiB | |
| agenda.tex | 3230 B | |
| chair.pdf | 112 KiB | |
| chair.tex | 3244 B | |
| department.min | 2000 B | |
| minutes.pdf | 112 KiB | |
| minutes.tex | 3508 B |