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/2a9112452e21b460f0ec2a801ea4969a1048eddd?hp=53e4687934c7edaa749a607c5f6f35a6dd4c537d 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