diff make-dist @ 4031:ac159693513e

Add (provide 'hanoi).
author Roland McGrath <roland@gnu.org>
date Thu, 08 Jul 1993 19:06:38 +0000
parents 43a30cb1b170
children c720be6f3fae
line wrap: on
line diff