log doc/make.bat @ 494:468b7cd6c344 default tip

age author description
Wed, 24 Jul 2019 19:26:43 +0200 Goffi doc: first draft