On 19.03.2019 14:27, Alexander Burger wrote:
You mean the settings page in PilBox? This is indeed the easiest way, just type a name like "radio" or "browser" and hit the Download button.
Really nice! -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe