diff doc/make.bat @ 2982:95c774627a95

we are in dev version again
author Goffi <goffi@goffi.org>
date Sun, 30 Jun 2019 16:39:42 +0200
parents ce16847a7b6d
children
line wrap: on
line diff