Searched defs:poolResName (Results 1 – 1 of 1) sorted by relevance
302 const char *poolResName = "pool.res"; in main() local315 const char *poolResName = "pool.res"; in main() local