Skip to content

Remove workbench docs and point to external RTD page - #37

Merged
steven-esser merged 1 commit into
masterfrom
remove-workbench
Dec 18, 2019
Merged

Remove workbench docs and point to external RTD page#37
steven-esser merged 1 commit into
masterfrom
remove-workbench

Conversation

@steven-esser

Copy link
Copy Markdown
Contributor

Signed-off-by: Steven Esser sesser@nexb.com

Signed-off-by: Steven Esser <sesser@nexb.com>
@steven-esser
steven-esser merged commit c425911 into master Dec 18, 2019
@steven-esser
steven-esser deleted the remove-workbench branch December 18, 2019 19:04
AyanSinhaMahapatra pushed a commit that referenced this pull request Mar 30, 2022
    * Replace all references to `tmp` with `venv`

Signed-off-by: Jono Yang <jyang@nexb.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant