diff options
| author | krangelov <kr.angelov@gmail.com> | 2020-10-02 19:55:24 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2020-10-02 19:55:24 +0200 |
| commit | f3a8658cc1ed5b2721ee9d3f670f6b9a49f0f049 (patch) | |
| tree | 8a311ec3c3a454088fa3c74b4464f974fe5aee21 /bin | |
| parent | bfb94d1e48fded159bbf63a992564cb24e987772 (diff) | |
| parent | f56fbcf86e472262d07c6bd713f6955cfbcfee8a (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/template.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/template.html b/bin/template.html index 15306e1d9..b6b520954 100644 --- a/bin/template.html +++ b/bin/template.html @@ -82,9 +82,10 @@ $body$ <li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a></li> <li> <a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a> - / + ยท <a href="$rel-root$/lib/doc/rgl-tutorial/index.html">RGL Tutorial</a> </li> + <li><a href="$rel-root$/doc/gf-video-tutorials.html">Video Tutorials</a></li> <li><a href="$rel-root$/download"><strong>Download GF</strong></a></li> </ul> </div> |