Merge branch 'master' of github.com:einhander/cin-manual-latex
authorСпицын Андрей <[email protected]>
Sat, 11 Jan 2020 17:53:23 +0000 (20:53 +0300)
committerСпицын Андрей <[email protected]>
Sat, 11 Jan 2020 17:53:23 +0000 (20:53 +0300)

Trivial merge