diff options
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2007-11-26 14:56:11 -0200 |
---|---|---|
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2007-11-26 14:56:11 -0200 |
commit | 64ecf2421089d1f1c83fdec99901699797bd43fb (patch) | |
tree | 149dea40282fd7fc97f9025683a5ab43897ee5d1 | |
parent | 658e7caf92072fbcb1aac8737e05cb1ea4a90806 (diff) | |
download | lua-64ecf2421089d1f1c83fdec99901699797bd43fb.tar.gz lua-64ecf2421089d1f1c83fdec99901699797bd43fb.tar.bz2 lua-64ecf2421089d1f1c83fdec99901699797bd43fb.zip |
detail
-rw-r--r-- | luaconf.h | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | ** $Id: luaconf.h,v 1.91 2007/08/30 16:13:13 roberto Exp roberto $ | 2 | ** $Id: luaconf.h,v 1.92 2007/09/14 13:26:03 roberto Exp roberto $ |
3 | ** Configuration file for Lua | 3 | ** Configuration file for Lua |
4 | ** See Copyright Notice in lua.h | 4 | ** See Copyright Notice in lua.h |
5 | */ | 5 | */ |
@@ -273,8 +273,7 @@ | |||
273 | @* the standard input. | 273 | @* the standard input. |
274 | @@ lua_saveline defines how to "save" a read line in a "history". | 274 | @@ lua_saveline defines how to "save" a read line in a "history". |
275 | @@ lua_freeline defines how to free a line read by lua_readline. | 275 | @@ lua_freeline defines how to free a line read by lua_readline. |
276 | ** CHANGE them if you want to improve this functionality (e.g., by using | 276 | ** CHANGE them if you want to improve/adapt this functionality. |
277 | ** GNU readline and history facilities). | ||
278 | */ | 277 | */ |
279 | #if defined(LUA_USE_READLINE) | 278 | #if defined(LUA_USE_READLINE) |
280 | #include <stdio.h> | 279 | #include <stdio.h> |