Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | containers.nix | 1795 | logplain |
-rw-r--r-- | default.nix | 2142 | logplain |
-rw-r--r-- | editorconfig.ini | 1162 | logplain |
-rw-r--r-- | gdbinit | 594 | logplain |
-rw-r--r-- | ghci.conf | 733 | logplain |
-rw-r--r-- | pystartup.py | 3078 | logplain |
-rw-r--r-- | sql.nix | 3117 | logplain |