Closed nyngwang closed 1 year ago
As title.
The feature has been added in the commit d73fa0a. You can now use LBChangeLanguage command to switch between languages for the current problem.
LBChangeLanguage
As title.