personal website: delete stale files
[web.git] / personal / .htaccess
index ada397e496279efaf95dcedc4f8cda860123bfdd..2c9718822caff99c5eca77f1e41ef39e9ea72919 100644 (file)
@@ -1,2 +1,3 @@
-RedirectMatch "^/cs/bachelor(.*)$" "https://people.mpi-sws.org/~jung/bachelor/bachelor$1"
-Redirect /research https://people.mpi-sws.org/~jung
+Redirect /projects/dsl /projects/lilass
+RedirectMatch "^/cs/(index.html?)?$" "/research"
+RedirectMatch "^/cs/bachelor(.*)$" "/research/bachelor/bachelor$1"