From: Jan Michel Date: Fri, 19 Mar 2021 12:00:14 +0000 (+0100) Subject: Test for repo mirroring X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;h=fa6e45f42e392eb6205d1e35633cf14ceeb02044;p=cri.git Test for repo mirroring --- diff --git a/.gitignore b/.gitignore index 7c6b138..4fd3f84 100644 --- a/.gitignore +++ b/.gitignore @@ -34,3 +34,4 @@ config_compile.pl ._Real_._Math_.vhd diamond diamondwin +