fix HTML
[web.git] / research / .htaccess
index c4350fbaf2f1762411711caea7afce8d864ce074..985ed3d26d82ae0956828d0af2983f5debbe24aa 100644 (file)
@@ -1,2 +1,2 @@
-Redirect /~jung/iris/iris.pdf http://plv.mpi-sws.org/iris/paper.pdf
-Redirect /~jung/iris/logatom-talk-2019.pdf http://plv.mpi-sws.org/iris/talk-iris2019.pdf
+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