pgfnames pgfnames_cleanup

pgfnames_cleanup() void pgfnames_cleanup ( char **  filenames )