Searched refs:OLD_JOB_SKALD (Results 1 – 1 of 1) sorted by relevance
872 OLD_JOB_SKALD = -9, enumerator873 NUM_OLD_JOBS = -OLD_JOB_SKALD896 case OLD_JOB_SKALD: in _job_name()923 case OLD_JOB_SKALD: in _job_abbrev()