research: delete 'other' files
[web.git] / research / .htaccess
index c4350fbaf2f1762411711caea7afce8d864ce074..a4099f2014aadd68a615b4eeb4e0cc8e018d7274 100644 (file)
@@ -1,2 +1,3 @@
-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 papers to new consistent location
+Redirect /twinsem/twinsem.pdf /papers/2018-oopsla-twinsem.pdf
+Redirect /perennial/gojournal.pdf /papers/2021-osdi-gojournal.pdf