| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 0001-Remove-CheckUpdatePlugin-from-default-list.patch | 1024 | logplain |
| -rw-r--r-- | LaunchGaudi.java | 533 | logplain |
| -rw-r--r-- | default.nix | 1008 | logplain |
| -rw-r--r-- | firmador.nix | 1235 | logplain |
| -rw-r--r-- | gaudi-env.nix | 2130 | logplain |
| -rw-r--r-- | releases.nix | 477 | logplain |
| -rw-r--r-- | unwrapped.nix | 5882 | logplain |
