From: Martin Kudlacek <kudlacek@unipi.technology>
Date: Thu, 9 Sep 2021 10:08:10 +0000 (+0200)
Subject: Adding mirror to GitHub
X-Git-Url: http://git.graph-it.com/?a=commitdiff_plain;h=4262720b020242845a7d29eac1487da61955dc1c;p=graphit%2Funipi-kernel.git

Adding mirror to GitHub
---