|  | d7a4420205 | Add the bay host name | 2023-08-22 15:56:09 +02:00 |  | 
			
				
					|  | f98af9aeef | Don't set all_proxy | 2023-08-22 11:28:54 +02:00 |  | 
			
				
					|  | 45ac6e95e9 | Add koro node | 2023-07-21 13:00:08 +02:00 |  | 
			
				
					|  | 9be15fdad2 | Add the ssfhead node as gateway | 2023-06-30 14:01:35 +02:00 |  | 
			
				
					|  | 13e365002c | Use our host names first by default | 2023-06-23 16:22:18 +02:00 |  | 
			
				
					|  | 2a0fe5a137 | Rename xeon08 to eudy From Eudyptula, a little penguin. | 2023-06-16 17:16:05 +02:00 |  | 
			
				
					|  | a43016ebee | Simplify flake and expose host pkgs The configuration of the machines is now moved to m/ | 2023-06-16 11:31:31 +02:00 |  |