diff options
Diffstat (limited to 'index.html')
-rwxr-xr-x | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ | |||
18 | <li><a href="./people.html"><span>People</span></a></li> | 18 | <li><a href="./people.html"><span>People</span></a></li> |
19 | <li><a href="./papers.html"><span>Papers</span></a></li> | 19 | <li><a href="./papers.html"><span>Papers</span></a></li> |
20 | <li><a href="./photos.html"><span>Photos</span></a></li> | 20 | <li><a href="./photos.html"><span>Photos</span></a></li> |
21 | <li><a href="./lunch.html"><span>Real-Time Lunch</span></a></li> | 21 | <li><a href="./lunch.html"><span>CPS Lunch</span></a></li> |
22 | <li><a href="./projects.html"><span>Projects</span></a></li> | 22 | <li><a href="./projects.html"><span>Projects</span></a></li> |
23 | <li><a href="./conferences.html"><span>Conferences</span></a></li> | 23 | <li><a href="./conferences.html"><span>Conferences</span></a></li> |
24 | </ul> | 24 | </ul> |