Add dev container support #18

Merged

BirDt merged 5 commits from feature/collaboration-build-improvements into master 2026-04-28 16:24:59 +08:00

Conversation 0 Commits 5 Files changed 6 +75 -14

5 commits

Author	SHA1	Message	Date
Jakub	c0f8635b0b	Document .dir-locals.el and deps.lock	2026-04-26 16:09:06 +08:00
Jakub	a6fa07ff26	Use deps-lock for dependencies	2026-04-26 16:08:09 +08:00
Jakub	d82d387f27	Fix the build command	2026-04-26 15:55:42 +08:00
Jakub	0a21a14033	Devcontainer and collab documentation	2026-04-26 15:55:05 +08:00
Jakub	9be1526cb1	Create devcontainer for development with X11 forwarding	2026-04-26 15:27:24 +08:00