diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2019-10-08 14:20:25 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2019-10-08 14:20:25 +0200 |
| commit | 15a758378716a0af1d198c55d56a66da4ef08c93 (patch) | |
| tree | 576a27d1968c54e1a3d226dc5e720b5babb22bc9 /doc/old/status.tex | |
| parent | c41a914d6e9be91cda40c7e7c05a8b4f2b515089 (diff) | |
Doc: Fix duplicated lines
Thanks to elados93 for the patch.
Diffstat (limited to 'doc/old/status.tex')
0 files changed, 0 insertions, 0 deletions