4 commits

Author	SHA1	Message	Date
Pierre Guillod	33f8cb89a9	update ports	2023-07-15 20:28:42 +02:00
Pierre Guillod	87def0795f	remove ports	2023-07-15 18:36:30 +02:00
Pierre Guillod	46075e4325	tweak ports	2023-07-15 18:28:45 +02:00
Pierre Guillod	4ecd3da4f0	draft	2023-07-15 16:47:32 +02:00