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