Sanitized mirror from private repository - 2026-03-21 11:14:37 UTC
Some checks failed
Documentation / Deploy to GitHub Pages (push) Has been cancelled
Documentation / Build Docusaurus (push) Has started running

This commit is contained in:
Gitea Mirror Bot
2026-03-21 11:14:37 +00:00
commit bd82e850ee
1237 changed files with 307694 additions and 0 deletions

6
.vscode/settings.json vendored Normal file
View File

@@ -0,0 +1,6 @@
{
"editor.formatOnSave": true,
"rust-analyzer.check.command": "clippy",
"nixEnvSelector.suggestion": false,
"nixEnvSelector.nixFile": "${workspaceFolder}/default.nix"
}