diff options
Diffstat (limited to 'doc/source/sessions-stored/first-project-touch.html')
| -rw-r--r-- | doc/source/sessions-stored/first-project-touch.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/source/sessions-stored/first-project-touch.html b/doc/source/sessions-stored/first-project-touch.html new file mode 100644 index 000000000..a7e0338d6 --- /dev/null +++ b/doc/source/sessions-stored/first-project-touch.html @@ -0,0 +1,6 @@ +<!-- + WARNING: This file was generated with bst2html.py +--> +<div class="highlight" style="font-size:x-small"><pre> +<span style="color:#C4A000;font-weight:bold">user@host</span>:<span style="color:#3456A4;font-weight:bold">~/first-project</span>$ touch hello.world +</pre></div> |