On Thu, Jan 03, 2019 at 09:57:30AM +0100, Alexander Burger wrote: > You could also check https://picolisp.com/wiki/?pilbox
As this is only a community-internal link, we should also link to the Google Play Store page https://play.google.com/store/apps/details?id=de.software_lab.pilbox ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe