Skip to content
Snippets Groups Projects
Kilian Weishaupt's avatar
Kilian Weishaupt authored
* fix error (typo) in source-term
* adapt to new interface
c6403223
History
Name Last commit Last update