DavHau 802f047341 devShells: make all shells inherit from default shell ... Currently, important tools from the default shell are lost as soon as select-shell is used to switch to another shell. select-shell itself, for example is missing, which makes it impossible to switch back to another shell.		2024-07-05 15:01:25 +07:00
..
scripts	vars: import by default & fix option rendering	2024-07-04 13:12:29 +07:00
default.nix	Docs: use offline fonts	2024-05-28 16:58:59 +02:00
deploy-docs.nix	Remove print of priv key in ci	2024-05-04 13:31:30 +02:00
flake-module.nix	devShells: make all shells inherit from default shell	2024-07-05 15:01:25 +07:00
get-module-docs.nix	reference docs: add missing description fields and enforce it from now on	2024-07-04 13:34:55 +07:00
shell.nix	devShells: make all shells inherit from default shell	2024-07-05 15:01:25 +07:00