Skip to content
GitLab
Explore
Sign in
lean-project
README.md
Find file
Blame
History
Permalink
fix infoview
· 238819c7
Gabriela Krause
authored
Mar 11, 2026
238819c7
Gabriela Krause authored238819c7