From: Ralf Jung <post@ralfj.de>
Date: Thu, 16 Sep 2021 19:05:01 +0000 (-0400)
Subject: remove old redirect file
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/2a9112452e21b460f0ec2a801ea4969a1048eddd?hp=53e4687934c7edaa749a607c5f6f35a6dd4c537d;ds=sidebyside

remove old redirect file
---

diff --git a/research/.htaccess b/research/.htaccess
deleted file mode 100644
index 985ed3d..0000000
--- a/research/.htaccess
+++ /dev/null
@@ -1,2 +0,0 @@
-Redirect /~jung/iris/iris.pdf https://plv.mpi-sws.org/iris/paper.pdf
-Redirect /~jung/iris/logatom-talk-2019.pdf /~jung/iris/talk-iris2019.pdf