Large files in git history
Unfortunately, this repository has some large files in its history. I have removed them from history but it has to be done with rewriting the whole history. Because of that everybody who uses this repo, needs to backup their copy first, and do a fresh clone of this repository and work on that:
$ mv bob.db.nist_sre12 bob.db.nist_sre12_bak
$ git clone git@gitlab.idiap.ch:bob/bob.db.nist_sre12.git
ping @akomaty @milos.cernak