summaryrefslogtreecommitdiffstats
path: root/people.html
diff options
context:
space:
mode:
Diffstat (limited to 'people.html')
-rwxr-xr-xpeople.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/people.html b/people.html
index 9cf650b..c01ab8f 100755
--- a/people.html
+++ b/people.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>