diff options
| author |  Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-27 16:01:20 +0200 |
|---|---|---|
| committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-27 16:01:20 +0200 |
| commit | 949a2d6767aeec22a029c353b8a12be3665e60ec (patch) | |
| tree | dc9b6846676dde5158450465766f4eb6963ff932 /doc/manual.tex | |
| parent | ff20f86eb6e792b69c2b580444bd9b051aaf7752 (diff) | |
Fix build error.
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions