Henrik Lissner 92a2ad302a tweak: add +local to :lang agda by default ... Close: #8534 Co-authored-by: zaz <zaz@users.noreply.github.com>		2026-03-11 23:02:38 -04:00
..
BUG_REPORT	refactor: move templates/ to static/	2024-11-30 22:50:27 -05:00
config.example.el	docs: discourage after! and use-package! use	2026-02-09 04:29:47 -05:00
init.example.el	tweak: add +local to :lang agda by default	2026-03-11 23:02:38 -04:00
packages.example.el	docs: revise packages.example.el	2025-09-14 23:26:40 -04:00
QUICKSTART_INTRO	refactor: move templates/ to static/	2024-11-30 22:50:27 -05:00
VANILLA_SANDBOX	refactor: move templates/ to static/	2024-11-30 22:50:27 -05:00