log

age author description
Fri, 16 Apr 2021 18:32:16 +0200 Goffi docker: update following name changes:
Wed, 14 Apr 2021 15:54:26 +0200 Goffi core: remove `print` which may provoke undesired side effects
Wed, 14 Apr 2021 14:09:50 +0200 Goffi core: apply wokkel patches if they are not already:
Thu, 01 Apr 2021 13:57:20 +0200 Goffi frontends (primitivus): `SECTION_NAME` is now `CONFIG_SECTION`