2023-10-07 04:29:08 +02:00
|
|
|
{ ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
imports = [
|
2023-10-07 05:17:53 +02:00
|
|
|
./branding-resources.hamburg.ccc.de.nix
|
2024-01-13 18:21:01 +01:00
|
|
|
./c3cat.de.nix
|
2023-10-07 04:29:08 +02:00
|
|
|
./element.hamburg.ccc.de.nix
|
2023-10-25 02:17:21 +02:00
|
|
|
./next.hamburg.ccc.de.nix
|
2023-11-05 00:03:20 +01:00
|
|
|
./spaceapi.hamburg.ccc.de.nix
|
2023-10-07 04:29:08 +02:00
|
|
|
];
|
|
|
|
|
}
|
