Searched refs:read_external_file (Results 1 – 1 of 1) sorted by relevance
1254 push(@external_sources_list, read_external_file($ooo_external_file));1257 push(@external_sources_list, read_external_file($sun_external_file));1279 sub read_external_file subroutine
Completed in 12 milliseconds