Joachim Breitner 2867b93d51 chore: replace shell.nix with a devShell in flake.nix (#3717) ... as a side effect this pins the “old nixpkgs” revision used by CI for release builds. (Not that that old branch is likely to change a lot…)		2024-03-21 13:24:01 +00:00
..
emscripten.md
index.md	chore: replace shell.nix with a devShell in flake.nix (#3717)	2024-03-21 13:24:01 +00:00
msvc.md
msys2.md	doc: refine development manual	2022-04-05 16:03:24 +02:00
osx-10.9.md
ubuntu.md
wsl.md