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)
commit6e80184b4c2c222a7ab1f7ededb9e9af2be9c236
tree40d5d139dd2c45a5291b6d53bf41a4597f0d9a62
parentc8040f10eceea03637274064458ffe976a98e285
made the console.pl work with history and editing
Changes
perl/console.pl