blob: 184d82e011f3e8c0badce9334647c1ed99937bc7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
<!--
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/developing/workspace_hello
</pre></div>
|
