diff options
author | 2016-04-26 15:27:17 +0000 | |
---|---|---|
committer | 2016-04-26 15:27:17 +0000 | |
commit | b614481366c4cbe973d98743b1259d9143b7880a (patch) | |
tree | c6fde46ae909bef56c22b375bdef18348a149822 /docs/installation-instruction.rst | |
parent | fae9665aba17c4c6bed7eb2fdda7305c7d1a006a (diff) | |
parent | c63d1ecfb4fd543e0bb449c5b18635dd5a50d3db (diff) |
Merge "configure_environment.py: quote environment name"
Diffstat (limited to 'docs/installation-instruction.rst')
0 files changed, 0 insertions, 0 deletions