Also free the pointer returned by readline().
authorIvo Timmermans <ivo@lychnis.net>
Wed, 29 Nov 2000 14:30:07 +0000 (14:30 +0000)
committerIvo Timmermans <ivo@lychnis.net>
Wed, 29 Nov 2000 14:30:07 +0000 (14:30 +0000)

No differences found