mirror of
https://github.com/nix-community/home-manager
synced 2024-11-26 21:19:45 +01:00
deploy: 8bdb74eaff
This commit is contained in:
parent
93a8761796
commit
9191dd6fa7
1 changed files with 15 additions and 0 deletions
15
options.html
Normal file
15
options.html
Normal file
|
@ -0,0 +1,15 @@
|
|||
<!DOCTYPE html>
|
||||
<html lang="en">
|
||||
<head>
|
||||
<title>Redirecting…</title>
|
||||
<meta charset="utf-8">
|
||||
<link rel="canonical" href="options.xhtml">
|
||||
<noscript><meta http-equiv="refresh" content="0; url=options.xhtml"></noscript>
|
||||
</head>
|
||||
<body>
|
||||
<h1>Redirecting…</h1>
|
||||
<script>
|
||||
window.location.href = "options.xhtml" + (window.location.search || "") + (window.location.hash || "");
|
||||
</script>
|
||||
</body>
|
||||
</html>
|
Loading…
Reference in a new issue