diff options
author | Andrey Andreev <narf@devilix.net> | 2016-02-09 22:46:25 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2016-02-09 22:47:05 +0100 |
commit | 24adbfc5e163de9da72f59e36be6c0ac02bf10c2 (patch) | |
tree | 994855899962731cf0241a08e2bcf16c2474b486 /user_guide_src/source/installation | |
parent | 5788d005a0f508ac59b436d3d6d6e6a496864cc4 (diff) |
Rename back a variable changed by the last PR merge
Because.
Diffstat (limited to 'user_guide_src/source/installation')
0 files changed, 0 insertions, 0 deletions