<!-- | |
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">~/developing</span>$ bst workspace list | |
workspaces: | |
- element: hello.bst | |
directory: /home/user/developing/workspace_hello | |
</pre></div> |