Skip to content

Commit

Permalink
more helpful link
Browse files Browse the repository at this point in the history
  • Loading branch information
@AndreasLoow
AndreasLoow committed Nov 19, 2024
1 parent 47ae10a commit dd6df4d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _docs/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

**! DO NOT PUSH TO THIS REPOSITORY !**

This code is automatically built and pushed from the [main Gillian repository](https://github.com/GillianPlatform/Gillian).
This code is automatically built and pushed from the [main Gillian repository](https://github.com/GillianPlatform/Gillian/tree/master/sphinx).

See the deployed docs [here](https://github.com/GillianPlatform/GillianPlatform.github.io).
<br/>
Expand Down

0 comments on commit dd6df4d

Please sign in to comment.