diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-11-16 15:34:49 -0800 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-11-16 15:36:36 -0800 |
commit | 14da66191f12755de633fe839aadd6bb2f09fd57 (patch) | |
tree | 44109e3f730c4c13e92d8d563ef586d1c3564e85 /_includes/header.html | |
parent | adf0a539034a167f86200c19eec36c42f0a3e01d (diff) | |
parent | e6f81b52b272776ce78963575740845c8bd5eddc (diff) | |
download | website-14da66191f12755de633fe839aadd6bb2f09fd57.tar.gz website-14da66191f12755de633fe839aadd6bb2f09fd57.tar.bz2 website-14da66191f12755de633fe839aadd6bb2f09fd57.zip |
Merge branch 'master' of github.com:jodersky/jodersky.github.io
Diffstat (limited to '_includes/header.html')
-rw-r--r-- | _includes/header.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_includes/header.html b/_includes/header.html index d8fbecd..4e2243e 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -15,6 +15,9 @@ <li class="nav-item{% if page.id == "projects" %} active{% endif %}"> <a class="nav-link" href="/projects/">Projects</a> </li> + <li class="nav-item{% if page.id == "talks" %} active{% endif %}"> + <a class="nav-link" href="/talks/">Talks</a> + </li> <!--<li class="nav-item{% if page.id == "blog" %} active{% endif %}"> <a class="nav-link" href="/blog">Blog</a> </li>--> |