1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 14:49:06 -04:00

Rename docs/ to web_demo/

This commit is contained in:
Emil Ernerfeldt
2023-11-16 16:44:30 +01:00
parent 8723c5a4d3
commit 94edb9d5e0
14 changed files with 17 additions and 1777 deletions

View File

@@ -7,4 +7,4 @@ nknown = "nknown" # part of @55nknown username
Prefence = "Prefence" # typo in glutin_winit API
[files]
extend-exclude = ["docs/egui_demo_app.js"] # auto-generated
extend-exclude = ["web_demo/egui_demo_app.js"] # auto-generated