total 23
-rw-rw-r--  1 ftpmaint     1326 Sep 20 02:46 00Contents
-rw-rw-r--  1 ftpmaint       49 Jan 27  1994 blank.pbm
-rw-rw-r--  1 ftpmaint      133 Aug  5 09:15 change_begin.gif
-rw-rw-r--  1 ftpmaint      257 Aug  4 17:47 change_delete.gif
-rw-rw-r--  1 ftpmaint      135 Aug  4 17:47 change_end.gif
-rw-rw-r--  1 ftpmaint      744 Aug  4 17:47 contents.xbm
-rw-rw-r--  1 ftpmaint      225 Aug  4 17:47 contents_motif.gif
-rw-rw-r--  1 ftpmaint       78 Aug  4 17:47 cross_ref_motif.gif
-rw-rw-r--  1 ftpmaint       87 Aug  4 17:47 foot_motif.gif
-rw-rw-r--  1 ftpmaint      812 Aug  4 17:47 icons.html
-rw-rw-r--  1 ftpmaint      180 Aug  4 17:47 index_motif.gif
-rw-rw-r--  1 ftpmaint       97 Aug 25 09:34 invis_anchor.xbm
-rw-rw-r--  1 ftpmaint      259 Aug  4 17:47 next_group_motif.gif
-rw-rw-r--  1 ftpmaint      259 Aug  4 17:47 next_group_motif_gr.gif
-rw-rw-r--  1 ftpmaint      172 Aug  4 17:47 next_motif.gif
-rw-rw-r--  1 ftpmaint      172 Aug  4 17:47 next_motif_gr.gif
-rw-rw-r--  1 ftpmaint      303 Aug  4 17:47 previous_group_motif.gif
-rw-rw-r--  1 ftpmaint      303 Aug  4 17:47 previous_group_motif_gr.gif
-rw-rw-r--  1 ftpmaint      220 Aug 22 08:56 previous_motif.gif
-rw-rw-r--  1 ftpmaint      220 Aug 22 08:56 previous_motif_gr.gif
-rw-rw-r--  1 ftpmaint      145 Aug  4 17:47 up_motif.gif
-rw-rw-r--  1 ftpmaint      145 Aug  4 17:47 up_motif_gr.gif
