made the console.pl work with history and editing
authordjk <djk>
Mon, 28 Jun 1999 15:42:57 +0000 (15:42 +0000)
committerdjk <djk>
Mon, 28 Jun 1999 15:42:57 +0000 (15:42 +0000)

No differences found