Paul Sokolovsky d0797fbc18 docs: Add glossary. ... We have enough terms or references throughout the docs which may be not immediately clear or have some important nuances. Referencing terms in gloassary is the best way to deal with that.		2017-07-02 13:47:35 +03:00
..
layout.html	docs: Make index link point to "index.html" irrespective of port.	2015-06-27 13:41:24 +01:00
topindex.html	docs: Add glossary.	2017-07-02 13:47:35 +03:00
versions.html	docs: Add link to PDF version of docs in sidebar.	2016-06-06 11:37:40 +01:00