migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00
Code Activity

emilk.github.io -> www.egui.rs

Browse Source
This commit is contained in:
Emil Ernerfeldt
2022-01-30 22:01:33 +01:00
parent b4be94df35
commit 532990d3dd
7 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/example.html
View File

@@ -3,7 +3,7 @@
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<head>
<meta http-equiv="refresh" content="0; url = https://emilk.github.io/egui/#http" />
<meta http-equiv="refresh" content="0; url = https://www.egui.rs/#http" />
</head>
<body>