module gl.kwarc.info/supervision/schaertl_andreas/uoimport

go 1.13