You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: Source/Documentation/Manual/start.rst
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -33,7 +33,7 @@ However it is still possible to install routes manually as described in the next
33
33
* ``Install``: Installs the selected route. A popup mentions the directory where the route is to be installed before starting the actual install. Installation profile gets added also.
34
34
* ``Start``: Some routes have default start parameters and can be started via this button with these parameters.
35
35
* ``Delete``: Delete route with this button. Take care: whole directory including any added and changed files gets deleted.
36
-
* ``Update``: GitHubbased routes can get updated after the install by means of this button. Check for updates is done when clicking this button. Or at the end of the information webpage. Also GitHub has a watch possibility for getting changes on the repository being mailed.
36
+
* ``Update``: GitHub-based routes can get updated after the install by means of this button. A check for updates is made when clicking this button and updates may be reported at the end of the information webpage. Also GitHub has a watch feature which notifies you of changes by email.
0 commit comments