diff THIRD_PARTY_README @ 18218:8588db09f5e9

mx jol: let user select from found classes, skip duplicates
author Andreas Woess <andreas.woess@jku.at>
date Wed, 29 Oct 2014 19:54:50 +0100
parents 52b4284cb496
children 7848fc12602b
line wrap: on
line diff