Add anchor for 'Jul 08'.
Karsten Loesing

Karsten Loesing commited on 2008-07-15 14:51:12
Zeige 1 geänderte Dateien mit 2 Einfügungen und 1 Löschungen.

... ...
@@ -193,7 +193,8 @@ implementation and testing work on January 15, 2009.
193 193
 
194 194
 <tr>
195 195
   <td>
196
-    Jul 08
196
+    <a id="Jul08"></a>
197
+    <a class="anchor" href="#Jul08">Jul 08</a>
197 198
   </td>
198 199
   <td>
199 200
     <small><em>All bugs that have been found in the analysis have been
200 201