repos: Remove obsolete repository.

This commit is contained in:
Dylan Araps 2019-07-27 09:13:25 +03:00
parent 4b1ea00099
commit 5a86634c71
8 changed files with 0 additions and 0 deletions