diff options
Diffstat (limited to 'docs/CommandGuide/index.html')
| -rw-r--r-- | docs/CommandGuide/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 1dea558357..72cd2cf5f9 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -22,7 +22,7 @@ options) arguments to the tool you are interested in.</p> </div> -<!-- ********************************************************************** --> +<!-- *********************************************************************** --> <div class="doc_section"> <a name="basic">Basic Commands</a> </div> |