5 commits

Author	SHA1	Message	Date
purarue	7ab6f0d5cb	chore: update urls	2024-10-30 20:12:00 +00:00
Dima Gerasimov	477b7e8fd3	docs: minor update to overlays docs	2024-03-13 00:46:18 +00:00
Dima Gerasimov	a8f8858cb1	docs: document more experiments with overlays in docs	2023-12-22 02:54:36 +00:00
Dima Gerasimov	adbc0e73a2	docs: add note about directly checking overlays with mypy	2023-12-22 02:54:36 +00:00
Dima Gerasimov	84d835962d	docs: some documentation/thoughts on properly implementing overlay packages	2023-12-20 02:51:27 +00:00