K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2002-09-04T03:19:33.000000Z
K 7
svn:log
V 91
Use resource_list_print_type() instead of duplicating the code in
nexus_print_resources().

END