remove old redirect file
[web.git] / research / .htaccess
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