diff options
Diffstat (limited to 'doc/sessions/developing.run')
| -rw-r--r-- | doc/sessions/developing.run | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/sessions/developing.run b/doc/sessions/developing.run index 1ae4eb5ad..4cbb40c32 100644 --- a/doc/sessions/developing.run +++ b/doc/sessions/developing.run @@ -34,6 +34,11 @@ commands: output: ../source/sessions/developing-shell-after-changes.html command: shell hello.bst -- hello +# Soft Reset +- directory: ../examples/developing/ + output: ../source/sessions/developing-soft-reset.html + command: workspace reset --soft hello.bst + # Close workspace - directory: ../examples/developing/ output: ../source/sessions/developing-close-workspace.html |