log

age author description
Fri, 03 Jan 2020 17:10:53 +0100 Goffi frontends (tools/strings): added "geo:" scheme in RE_URL
Fri, 03 Jan 2020 13:21:27 +0100 Goffi plugin android: sound notification + change settings:
Fri, 03 Jan 2020 13:20:45 +0100 Goffi core (memory/params): new "makeOptions" method to easily create options XML from a dict