Leon Vatthauer 5dafa6cb24 Remove Nix...		2024-04-06 19:40:17 +02:00
..
brands	Remove Nix...	2024-04-06 19:40:17 +02:00
agda.svg	Remove Nix...	2024-04-06 19:40:17 +02:00
coq.svg	Remove Nix...	2024-04-06 19:40:17 +02:00
haskell.svg	Remove Nix...	2024-04-06 19:40:17 +02:00