remove old redirect file
authorRalf Jung <post@ralfj.de>
Thu, 16 Sep 2021 19:05:01 +0000 (15:05 -0400)
committerRalf Jung <post@ralfj.de>
Thu, 16 Sep 2021 19:05:01 +0000 (15:05 -0400)
research/.htaccess [deleted file]

diff --git a/research/.htaccess b/research/.htaccess
deleted file mode 100644 (file)
index 985ed3d..0000000
+++ /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