From 1a9da8e6c7afa24b5a46ab69218428e0fe19c6d4 Mon Sep 17 00:00:00 2001 From: Thomas Gessler Date: Fri, 19 Mar 2021 14:56:23 +0100 Subject: [PATCH] Revert "Test for repo mirroring" This reverts commit fa6e45f42e392eb6205d1e35633cf14ceeb02044. --- .gitignore | 1 - 1 file changed, 1 deletion(-) 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 - -- 2.43.0