diff options
author | Jose Fonseca <jfonseca@vmware.com> | 2016-04-23 23:59:11 +0100 |
---|---|---|
committer | Jose Fonseca <jfonseca@vmware.com> | 2016-05-01 07:36:40 +0100 |
commit | 2bb81362586f39727a5e1106ca34b5dab9ed1877 (patch) | |
tree | 5da6f23e0679d39b6c436761baab5c8bdb186f49 /gui | |
parent | 0b20dac340ed028213bd7133ae7f7edcada56017 (diff) |
doc: Make it clear which Command Prompt window to use.
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions