16 commits

Author	SHA1	Message	Date
Julien Malka	0ebde53e83	removed dead code	2024-03-30 20:18:12 +01:00
Julien Malka	3c8db834cc	added ssh machines	2023-09-17 20:48:41 +02:00
Julien Malka	fba56edd2e	better ssh config	2023-07-28 13:19:46 +02:00
Julien Malka	ff47b2403a	changed ssh config	2023-06-12 14:28:01 +02:00
Julien Malka	3298173246	merge	2023-06-10 23:51:49 +02:00
Julien Malka	fda415dbda	changed lambda address	2023-06-10 23:50:09 +02:00
Julien Malka	30628ce717	changed ssh config	2023-06-10 19:54:28 +02:00
Julien Malka	a975b46c41	changed ssh machines	2023-06-10 17:50:12 +02:00
Julien Malka	a252e34725	taking into account new curry port	2023-06-02 07:03:34 +02:00
Julien Malka	30d0b90609	feat: added mail as ssh machines	2023-03-13 14:10:28 +01:00
Julien Malka	4e0827f860	fix: Type in domain of one machine	2023-02-20 17:26:25 +01:00
Julien Malka	5d6d8fa960	Added new machines to ssh config	2023-02-05 00:37:56 +01:00
Julien Malka	ba5e68ef5e	Added lambda as ssh machine	2023-01-08 21:19:52 +01:00
Julien Malka	4551b44b3c	Changed lisa ip	2022-01-12 13:54:12 +01:00
Julien Malka	158e53fdae	Added lisa port	2021-12-22 22:39:40 +01:00
Julien Malka	4b0d80d349	Much change, kinda broke my git history	2021-12-22 22:16:48 +01:00