diff options
author | tomas <tomas> | 2006-07-24 01:19:42 +0000 |
---|---|---|
committer | tomas <tomas> | 2006-07-24 01:19:42 +0000 |
commit | 5100f420b7e17298c973df021d0f9527739c6901 (patch) | |
tree | f7948ba3d26e3c234f0bb4cd5236177110354992 /doc/us/index.html | |
parent | 722f6a9869fa8afd5f138c827b4bde24c5aa71c6 (diff) | |
download | luafilesystem-5100f420b7e17298c973df021d0f9527739c6901.tar.gz luafilesystem-5100f420b7e17298c973df021d0f9527739c6901.tar.bz2 luafilesystem-5100f420b7e17298c973df021d0f9527739c6901.zip |
Updating to Lua 5.1
Diffstat (limited to 'doc/us/index.html')
-rw-r--r-- | doc/us/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/us/index.html b/doc/us/index.html index b06441e..ea17303 100644 --- a/doc/us/index.html +++ b/doc/us/index.html | |||
@@ -39,6 +39,7 @@ | |||
39 | <li><a href="manual.html">Manual</a> | 39 | <li><a href="manual.html">Manual</a> |
40 | <ul> | 40 | <ul> |
41 | <li><a href="manual.html#introduction">Introduction</a></li> | 41 | <li><a href="manual.html#introduction">Introduction</a></li> |
42 | <li><a href="manual.html#building">Building</a></li> | ||
42 | <li><a href="manual.html#installation">Installation</a></li> | 43 | <li><a href="manual.html#installation">Installation</a></li> |
43 | <li><a href="manual.html#reference">Reference</a></li> | 44 | <li><a href="manual.html#reference">Reference</a></li> |
44 | </ul> | 45 | </ul> |
@@ -140,7 +141,7 @@ Comments are welcome!</p> | |||
140 | <div id="about"> | 141 | <div id="about"> |
141 | <p><a href="http://validator.w3.org/check?uri=referer"> | 142 | <p><a href="http://validator.w3.org/check?uri=referer"> |
142 | <img src="http://www.w3.org/Icons/valid-xhtml10" alt="Valid XHTML 1.0!" height="31" width="88" /></a></p> | 143 | <img src="http://www.w3.org/Icons/valid-xhtml10" alt="Valid XHTML 1.0!" height="31" width="88" /></a></p> |
143 | <p><small>$Id: index.html,v 1.33 2006/06/26 18:29:13 carregal Exp $</small></p> | 144 | <p><small>$Id: index.html,v 1.34 2006/07/24 01:19:42 tomas Exp $</small></p> |
144 | </div> <!-- id="about" --> | 145 | </div> <!-- id="about" --> |
145 | 146 | ||
146 | </div> <!-- id="container" --> | 147 | </div> <!-- id="container" --> |