| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Specify DAFNY_SERVER_OVERRIDE here instead of in dotfiles | Anthony Wang | 34 min. | |
| Age | Commit message | Author | ||
| 34 min. | Specify DAFNY_SERVER_OVERRIDE here instead of in dotfilesHEADmaster | Anthony Wang | ||
| 71 min. | Set up Dafny and IPv4 route, nixfmt | Anthony Wang | ||
| 16 hours | Finally fix all fprintd issues | Anthony Wang | ||
| 17 hours | Add btrbk and killfprint configs | Anthony Wang | ||
| 18 hours | Add GPU stuff, VSCodium, nix-ld, fix fprintd problem | Anthony Wang | ||
| 19 hours | Add NeoChat, fcitx5, CJK font | Anthony Wang | ||
| 19 hours | Add some more random stuff | Anthony Wang | ||
| 20 hours | Clean up extra comments | Anthony Wang | ||
| 20 hours | Add some stuff | Anthony Wang | ||
| 23 hours | Copy new blank config | Anthony Wang | ||
| [...] | ||||
| Clone | ||||
| https://git.unnamed.website/nixos-config | ||||
 |
index : nixos-config | |
| My NixOS configuration |
| summaryrefslogtreecommitdiff |