From: Ralf Jung 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?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