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