doc/source/sessions-stored/developing-workspace-list.html

<!--
    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>