log

age author description
Wed, 29 Jan 2020 19:45:04 +0100 Goffi server: log config files names
Wed, 29 Jan 2020 10:06:01 +0100 Goffi fixed shebangs
Wed, 29 Jan 2020 09:54:17 +0100 Goffi replaced former use of "dummy" by "__"