[net.misc] What are the names of Batman and Robin

cushner@ttidcb.UUCP (Jeffrey Cushner) (10/26/84)

If my memory serves me correct they were:

Batman - Bruce Wayne
Robin  - Dick Grayson