diff doc/Makefile @ 2968:4979d1079127

we are in dev version again
author Goffi <goffi@goffi.org>
date Sun, 23 Jun 2019 17:56:57 +0200
parents ce16847a7b6d
children
line wrap: on
line diff