01bc48d8385da7a68765ae9fb25d3f3b34ee1c87	not-for-merge	branch 'main' of git.ntnu.no:ie-imf-tekn/texmflocal
c86c6375229712a7dcea807fc25f7f7edd85bb4d	not-for-merge	remote-tracking branch 'origin/HEAD' of git.ntnu.no:ie-imf-tekn/texmflocal
c86c6375229712a7dcea807fc25f7f7edd85bb4d	not-for-merge	remote-tracking branch 'origin/main' of git.ntnu.no:ie-imf-tekn/texmflocal