Skip to main content

Browse the archive

Revision e8c3d300fd45aa1a61970220a8dfb775428c1080 authored by Juergen Weigert on 13 December 2023, 12:41:29 UTC, committed by Juergen Weigert on 13 December 2023, 12:41:29 UTC 
prepare rc1
1 parent 08f1c04
Raw File
index.html 
<!DOCTYPE html>
<html>
<head>
	<script type="text/javascript"> window.location.href="index.php"; </script>
	<meta http-equiv="refresh" content="0; URL=index.php">
</head>
</html>
back to top