diff options
Diffstat (limited to 'sources/body.header.include')
| -rw-r--r-- | sources/body.header.include | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/body.header.include b/sources/body.header.include index e80a37e..a50f17f 100644 --- a/sources/body.header.include +++ b/sources/body.header.include @@ -43,6 +43,7 @@ <li><a href="download.html" title="Install OCaml">Download</a></li> <li><a href="documentation.html" title="Documentation">Documentation</a></li> <li><a href="contrib.html">Tools&Libraries</a></li> +<li><a href="courses.html">Teaching</a></li> <li><a href="support.html" title="Licencing issues">Support</a></li> </ul> |