diff options
| author |  Denis Redozubov <denis.redozubov@gmail.com> | 2018-08-22 15:11:32 +0300 |
|---|---|---|
| committer | Denis Redozubov <denis.redozubov@gmail.com> | 2018-08-22 15:14:21 +0300 |
| commit | eb86dffeeec897d17905f3adff84e6acfd018330 (patch) | |
| tree | 91e346a00ab96ec247af14529fc1d26c9c3a4ae0 /doc/manual.tex | |
| parent | 0e41b2ab9485f46c4303be46d41e39203eeb7138 (diff) | |
Rough same page anchors
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions