diff options
Diffstat (limited to 're.html')
-rw-r--r-- | re.html | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,10 +1,10 @@ | |||
1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" | 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
2 | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | 2 | "//www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
3 | <html> | 3 | <html> |
4 | <head> | 4 | <head> |
5 | <title>LPeg.re - Regex syntax for LPEG</title> | 5 | <title>LPeg.re - Regex syntax for LPEG</title> |
6 | <link rel="stylesheet" | 6 | <link rel="stylesheet" |
7 | href="http://www.inf.puc-rio.br/~roberto/lpeg/doc.css" | 7 | href="//www.inf.puc-rio.br/~roberto/lpeg/doc.css" |
8 | type="text/css"/> | 8 | type="text/css"/> |
9 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> | 9 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
10 | </head> | 10 | </head> |
@@ -15,7 +15,7 @@ | |||
15 | 15 | ||
16 | <div id="product"> | 16 | <div id="product"> |
17 | <div id="product_logo"> | 17 | <div id="product_logo"> |
18 | <a href="http://www.inf.puc-rio.br/~roberto/lpeg/"> | 18 | <a href="//www.inf.puc-rio.br/~roberto/lpeg/"> |
19 | <img alt="LPeg logo" src="lpeg-128.gif"/> | 19 | <img alt="LPeg logo" src="lpeg-128.gif"/> |
20 | </a> | 20 | </a> |
21 | </div> | 21 | </div> |