More helpful comments

Changes

2 changed files (+2/-0)

• VSCodium/User/settings.json
  • @@ -12,6 +12,7 @@
    "git.enableSmartCommit": true, // Manual line wrap is gross "html.format.wrapLineLength": 0, + // Use rust-analyzer from nixpkgs rather than the bundled rust-analyzer which throws weird errors "rust-analyzer.server.path": "rust-analyzer", // Make Rocq more like Lean "vsrocq.proof.mode": 1,
• git/config
  • @@ -2,6 +2,7 @@
    name = Anthony Wang email = a@unnamed.website signingkey = ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPDLPakDnAelqFTUudQB8X0T7yc/8ekV3jGqpeJb062l + # TODO: Remove these once Git 3.0 is released since these will be the new defaults [init] defaultBranch = main [commit]