diff dev/bison/bison.sh @ 828:2a99d51e3ad3

graphics/wayland: many fixes and rename DOXYGEN to DOCS option
author David Demelier <markand@malikania.fr>
date Thu, 22 Aug 2019 20:30:00 +0200
parents 25cecc6dca48
children ae55d9077f70
line wrap: on
line diff