Hans Ulrich Niedermann dd7b203c1e gh workflows: remove requirements for flex, bison ...

As 4316f75ed4 has removed gp2ddb
with its use of flex and bison, we do not need flex and bison
any more, and so the github workflows do not need to install
flex and bison either.

2021-08-07 16:56:16 +02:00

..

ISSUE_TEMPLATE

Update issue templates

2019-01-26 15:06:14 +01:00

workflows

gh workflows: remove requirements for flex, bison

2021-08-07 16:56:16 +02:00