Commit 0b1995abd1bd7c768789d0357322ec22f88ba87f

Thomas de Grivel 2017-02-27T13:52:29

Repo definitions add to *repos* global.