8c8787b3fc4fd252423fe13600f3a81d78b4389e
-rw-r--r-- 150 ADA.LIB
-rw-r--r-- 7459 Draw.adb
-rw-r--r-- 15017 Draw.ads
-rw-r--r-- 5164 Spider.adb
-rw-r--r-- 10673 Spider.ads
-rw-r--r-- 1803 UNIT.MAP
-rw-r--r-- 4449 User.adb
-rw-r--r-- 7428 User.ads
-rw-r--r-- 30412 graphmin.lib
drwxr-xr-x - info
drwxr-xr-x - xref