Skip to content

move jotnets to jot and some cleanup (mostly whitespace)

Mario requested to merge git-marijus:dev into dev

Created by: git-marijus

Merge request reports