public CourseSettings(string title, Language[] defaultLanguageVersions, PreludeFile[] preludes, string dictionaryFile) { Title = title; DefaultLanguageVersions = defaultLanguageVersions; Preludes = preludes; DictionaryFile = dictionaryFile; }
public CourseSettings(string title, Language[] defaultLanguageVersions, PreludeFile[] preludes) { Title = title; DefaultLanguageVersions = defaultLanguageVersions; Preludes = preludes; }