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/14f19cbd81ba2e1f1c93fb5907826499a67d78eb?ds=sidebyside;hp=cc97e108984786b25f67a875d2c40eb7f19f0f5c

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