diff options
| author | Florian Apolloner <apollo13@users.noreply.github.com> | 2015-04-19 17:29:44 +0200 |
|---|---|---|
| committer | Florian Apolloner <apollo13@users.noreply.github.com> | 2015-04-19 17:29:44 +0200 |
| commit | cc493d3c061e876d56152c9e951effb9f330fcfe (patch) | |
| tree | 96d717f8cf8ac6b688092a55f4a23fcbac05f583 /docs/_theme | |
| parent | f54c0ec06e390dc5bce95fdccbcb51d6423da4f9 (diff) | |
| parent | bae72bdd2aa93472617ed28fc3d5a01f0920ea6e (diff) | |
Merge pull request #4531 from marco-santamaria/ticket11078
Fixed #11078 -- documentation update.
Diffstat (limited to 'docs/_theme')
0 files changed, 0 insertions, 0 deletions