diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-04 06:55:08 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-04 06:55:08 -0500 |
| commit | f97dd315cb642534a40b516cd4e54c07b64e9621 (patch) | |
| tree | 1e914b714e853f62513ba54b566dbc69ff374479 /doc/using/QuickStartGuide.rst | |
| parent | 522d0f045efdfe404f66df42053f156ec41a0574 (diff) | |
| download | ghdl-f97dd315cb642534a40b516cd4e54c07b64e9621.tar.gz ghdl-f97dd315cb642534a40b516cd4e54c07b64e9621.tar.bz2 ghdl-f97dd315cb642534a40b516cd4e54c07b64e9621.zip | |
Move short option after long option
Clean up indentation.
Diffstat (limited to 'doc/using/QuickStartGuide.rst')
0 files changed, 0 insertions, 0 deletions