Searched defs:GeneralOptions (Results 1 – 3 of 3) sorted by relevance
25 def __init__(self, general: GeneralOptions, default_work_dir: Path):
24 def __init__(self, general: GeneralOptions, work_dir: Path):
29 class GeneralOptions: class