2 Commits

Author	SHA1	Message	Date
apio	875d971d3b	Tools: Make list-ports.sh exit when ports.list does not exist	2022-11-02 18:53:47 +01:00
apio	e7d41fa6dc	ports: Add a little script to list installed ports	2022-10-23 20:11:30 +02:00