diff options
| author | W-M-T | 2016-04-27 17:32:35 +0200 |
|---|---|---|
| committer | W-M-T | 2016-04-27 17:32:35 +0200 |
| commit | 89b2f8d6b9f263ced0c4a6a84dec7ba568ef1b56 (patch) | |
| tree | 15e40d3a042538043e7c0538ce831a7d8a0e887f /defsyn.tex | |
| parent | another small fix (diff) | |
another small fix
Diffstat (limited to 'defsyn.tex')
0 files changed, 0 insertions, 0 deletions