Brian Hackett 8e27657d9d Add logo		2025-01-18 15:30:06 -08:00
..
chat	Add menu items UI for about and problem pages (#6)	2025-01-17 14:05:03 -08:00
editor/codemirror	Use simulation prompt API (#2)	2025-01-11 13:48:38 -10:00
git	fix: introduce our own cors proxy for git import to fix 403 errors on isometric git cors proxy (#924)	2025-01-05 17:26:02 +05:30
header	Add logo	2025-01-18 15:30:06 -08:00
settings	docs: bugfix/formatting faq docs (#1027)	2025-01-10 21:17:32 +05:30
sidebar	Add logo	2025-01-18 15:30:06 -08:00
ui	Merge remote-tracking branch 'upstream/main'	2025-01-16 08:02:49 -08:00
workbench	UI improvements to chat and bug selection (#5)	2025-01-17 07:19:13 -08:00