3 Commits

Author	SHA1	Message	Date
Emil Ernerfeldt	d0876a1a60	Rename master branch to main (#7034) ... For consistency with other repositories, i.e. so I can write `git checkout main` without worrying which repo I'm browsing.	2025-05-08 09:15:42 +02:00
Emil Ernerfeldt	f50e64632e	Change web demo local port to 8765 to avoid colliding with Jupyter	2024-06-28 08:37:21 +02:00
Emil Ernerfeldt	94edb9d5e0	Rename docs/ to web_demo/	2023-11-16 16:44:30 +01:00