Dmitry Petrov 7d2c5b8c0c Merge pull request #255 from gvyshnya/master ...

Added beautification to product documentation

2017-11-19 23:42:55 -08:00

..

css

!U: tweaked styles in style.css

2017-11-19 23:54:22 +02:00

images

!U: fixed the number of issues below

2017-11-13 01:05:26 +02:00

js

!U: eliminated use of prettify

2017-09-28 18:59:59 +03:00

cmd.bat

EOL

2017-10-05 22:05:10 -07:00

cmd.sh

Build docs in unix

2017-10-05 22:04:56 -07:00

doc.rst

Doc polishing: iteration 4, formatting commands list

2017-10-09 04:04:43 -07:00

footer.html

!U: further adjusted the style sheet of the product documentation

2017-10-29 23:09:44 +02:00

header.html

!U: eliminated use of prettify

2017-09-28 18:59:59 +03:00

top.html

!U: fixed the number of issues below

2017-11-13 01:05:26 +02:00