Merge doc changes from github
authorpavel <pavel@aaa>
Mon, 12 Jan 2015 01:59:32 +0000 (03:59 +0200)
committerpavel <pavel@aaa>
Mon, 12 Jan 2015 01:59:32 +0000 (03:59 +0200)
commitf38f056b9e476f07b34d3d4d4c2c20af0d206661
treeaa59a2e510c3f36bdd1c75b4d2e03dd5286ca669
parentb83f9fbb9b5f53f6ef5ea26d5932290d4f3fbb14
parentd01c7eb91b660c2a2dfabe342de3f9a8ed814673
Merge doc changes from github