From 14f19cbd81ba2e1f1c93fb5907826499a67d78eb Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 16 Sep 2021 15:05:01 -0400 Subject: [PATCH 1/1] remove old redirect file --- research/.htaccess | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 research/.htaccess 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 -- 2.30.2