edited something
fjernet logoen ??
Merge remote-tracking branch 'origin' into robin
busy synctex to .gitignore
added the logo again
Merge branch 'robin'