different enhancements
authorDmitriy Anisimov <avdmitry@gmail.com>
Wed, 3 Sep 2014 18:25:08 +0000 (22:25 +0400)
committerDmitriy Anisimov <avdmitry@gmail.com>
Wed, 3 Sep 2014 18:25:08 +0000 (22:25 +0400)
commite7af509c86d61031b023839c3ae9d08a2a57f4a5
tree37538435061379a4944c9327998bc75cbbafe035
parent5d4bd700a715670842adc4d4cf029cb2c3199e39
different enhancements
doc/_themes/sphinxdoc/static/default.css_t