Skip to content
GitLab
Explore
Sign in
MiKoAttic
stats
Repository
stats
.gitignore
Find file
Blame
History
Permalink
ignoring ltxlog and adapting smglom to multiple repositories
· 44d126de
Michael Kohlhase
authored
Mar 12, 2014
44d126de