Commit a4da8983 by Jure

Merge branch 'point_to_correct_repo' into 'master'

Use npm versions instead of git repos See merge request !10
parents 9179a84f ede16440
Pipeline #2493 canceled with stage