This website requires JavaScript.
Explore
Help
Register
Sign In
pagedmov
/
nixos-config
Watch
1
Star
0
Fork
0
You've already forked nixos-config
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
860bcb3bc65421a8b8e1de479b17b6374826013f
nixos-config
/
modules
/
sys
/
software
/
nixvim
/
plugins
/
coq.nix
pagedmov
860bcb3bc6
Refactored file structure to make more sense, made default.nixes less verbose
2024-10-18 19:13:12 -04:00
139 B
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink
