Searched refs:wf_gretlhost (Results 1 – 1 of 1) sorted by relevance
92 static const char *wf_gretlhost = "ricardo.ecn.wfu.edu"; variable115 gretlhost = wf_gretlhost; in set_server_paths()