tree 794fb8e7c0a211b2ae2bfb6014dc3886c324077b
parent e5730626efe8b3d653e3c556188b8eec1f6c822b
author Zesstra <zesstra@zesstra.de> 1641477962 +0100
committer Zesstra <zesstra@zesstra.de> 1641477999 +0100

Hinweis auf bison ergaenzt.

bison muss neu genug sein (>=2.7.x).

Change-Id: I449cf0f3d910494259e611adb92fec68efbc6fbe