Skip to content

Commit

Permalink
Update start.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
Majpuc authored Oct 24, 2023
1 parent 132c9d7 commit a774c42
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions Docs/start.rst
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
**Opening a sample dataset**
-------------------------------

.. tip::
When working in the workbench, please see intructions here: https://quint-webtools.readthedocs.io/en/latest/WebAlign.html
.. tip:: When working in the workbench, please see intructions here: https://quint-webtools.readthedocs.io/en/latest/WebAlign.html

The following description concerns the use of WebAlign in the collaboratory.

Expand Down

0 comments on commit a774c42

Please sign in to comment.