File tree Expand file tree Collapse file tree 1 file changed +10
-8
lines changed Expand file tree Collapse file tree 1 file changed +10
-8
lines changed Original file line number Diff line number Diff line change 4343 < div class ="collapse " id ="collapsed-header ">
4444 < div class ="bg-inverse p-a-1 ">
4545 < ul >
46+ < li class ="nav-item ">
47+ < a class ="nav-link " href ="#getting-started ">
48+ Try it now
49+ </ a >
50+ </ li >
4651 < li class ="nav-item ">
4752 < a class ="nav-link " href ="#why-dotty ">
4853 FAQ
4954 </ a >
5055 </ li >
5156 < li class ="nav-item ">
52- < a class ="nav-link " href ="{{ site.baseurl }}/blog ">
57+ < a class ="nav-link " href ="{{ site.baseurl }}/blog/index.html ">
5358 Blog
5459 </ a >
5560 </ li >
5661 < li class ="nav-item ">
57- < a class ="nav-link " href ="#getting-started ">
58- Getting Started
62+ < a class ="nav-link " href ="{{ site.baseurl }}/docs/index.html ">
63+ Docs
5964 </ a >
6065 </ li >
66+ <!--
6167 <li class="nav-item">
6268 <a class="nav-link" href="#build-status">
6369 Community Projects
6470 </a>
6571 </li>
66- < li class ="nav-item ">
67- < a class ="nav-link " href ="https://github.com/lampepfl/dotty/wiki ">
68- Wiki
69- </ a >
70- </ li >
72+ -->
7173 < li class ="nav-item ">
7274 < a class ="nav-link " href ="https://github.com/lampepfl/dotty ">
7375 < img id ="github-logo " src ="{{ site.baseurl }}/images/github-logo.svg " />
You can’t perform that action at this time.
0 commit comments