lib/html/library_index_header.template
2009-11-14 wenzelm 2009-11-14 eliminated obsolete CVS Ids; tuned headers;
2007-10-30 haftmann 2007-10-30 split library index into templates