# HG changeset patch # User John W. Eaton # Date 1391201886 18000 # Node ID b0314bcf3ead67ae4fa3621e62080db4d41dc9fc # Parent d641e31a27c7bd4b359d7fae4c59c75095984ca7 index.html: fix typos in tags. diff -r d641e31a27c7 -r b0314bcf3ead index.html --- a/index.html Fri Jan 31 15:41:35 2014 -0500 +++ b/index.html Fri Jan 31 15:58:06 2014 -0500 @@ -1278,7 +1278,7 @@ gl2ps - 1.3.8 + 1.3.8 GL2PS @@ -1293,7 +1293,7 @@ glpk - 4.52.1 + 4.52.1 GLPK