diff options
Diffstat (limited to 'projects.html')
-rwxr-xr-x | projects.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects.html b/projects.html index a321b35..a1af7de 100755 --- a/projects.html +++ b/projects.html | |||
@@ -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> |