]> matita.cs.unibo.it Git - helm.git/commitdiff
some words decapitalized :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 18:45:37 +0000 (18:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 18:45:37 +0000 (18:45 +0000)
helm/www/lambda_delta/index.html

index 1983a540130e7824842ac3958f0a3627487984bf..e88010299a65a0ea10dca20c060227602d1b046d 100644 (file)
@@ -107,12 +107,12 @@ includes the major milestones:<br>
 2011<br>
             </td>
             <td
- style="vertical-align: top; background-color: rgb(255, 223, 191);">Planned
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">planned
 in
 2013<br>
             </td>
             <td
- style="vertical-align: top; background-color: rgb(255, 223, 191);">Not
+ style="vertical-align: top; background-color: rgb(255, 223, 191);">not
 planned yet<br>
             </td>
           </tr>