| 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 | 1001 | logplain |
| -rw-r--r-- | firmador.nix | 1163 | logplain |
| -rw-r--r-- | gaudi-env.nix | 2045 | logplain |
| -rw-r--r-- | releases.nix | 477 | logplain |
| -rw-r--r-- | unwrapped.nix | 5848 | logplain |
