Commit a39f18ac770e1a4bac72212236614db57c1de5be

Carlos Martín Nieto 2016-11-14T17:10:43

Merge pull request #3998 from pks-t/pks/repo-discovery Repository discovery starting from files