diff options
author | Andrey Andreev <narf@devilix.net> | 2013-12-20 10:48:38 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2013-12-20 10:48:38 +0100 |
commit | 295cfa92574c2ee0c0465e4f86a0d3215a32413c (patch) | |
tree | 9de83af65ab85b10a8e6a016304db77139181c2b /user_guide_src/source/installation | |
parent | ec03e972205a1b82ab24e7df368ad74f63d04560 (diff) |
Polishing changes from #PR #2781
Looks like an unnecessary commit was made by the author just as I was clicking the Merge button. :)
Diffstat (limited to 'user_guide_src/source/installation')
0 files changed, 0 insertions, 0 deletions