1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

merge (remove conflicting zip files)

This commit is contained in:
monty@hundin.mysql.fi
2002-03-27 06:44:23 +02:00
74 changed files with 3058 additions and 854 deletions

View File

@@ -841,17 +841,6 @@ static int get_options(int argc, char **argv)
return(0);
}
#if defined(OS2)
static char* readline( char* prompt)
{
#if defined(OS2)
static char linebuffer[254];
#endif
puts( prompt);
return gets( linebuffer);
}
#endif
static int read_lines(bool execute_commands)
{
#if defined( __WIN__) || defined(OS2)