From: Thomas Gessler Date: Fri, 19 Mar 2021 13:56:23 +0000 (+0100) Subject: Revert "Test for repo mirroring" X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;h=1a9da8e6c7afa24b5a46ab69218428e0fe19c6d4;p=cri.git Revert "Test for repo mirroring" This reverts commit fa6e45f42e392eb6205d1e35633cf14ceeb02044. --- diff --git a/.gitignore b/.gitignore index 4fd3f84..7c6b138 100644 --- a/.gitignore +++ b/.gitignore @@ -34,4 +34,3 @@ config_compile.pl ._Real_._Math_.vhd diamond diamondwin -