diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-02-09 15:53:16 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-02-09 15:53:16 +0100 |
| commit | cd16538fc91778e31f8241f62ee47056f099c051 (patch) | |
| tree | e94474a81ff652c8d8d6d46722aac62043aa3770 /doc/old/banner.tex | |
| parent | 6e8fb66859a17b295cd9246264221a75cdbe6c55 (diff) | |
| parent | f9b97f1c6282be398d2c2bb896dbb453f638f720 (diff) | |
Merge remote-tracking branch 'origin/mq-opt'
Diffstat (limited to 'doc/old/banner.tex')
0 files changed, 0 insertions, 0 deletions