diff options
| author | Jan Maria Matejka <mq@ucw.cz> | 2018-07-17 15:30:59 +0200 |
|---|---|---|
| committer | Jan Maria Matejka <mq@ucw.cz> | 2018-08-14 14:01:39 +0200 |
| commit | 86b9e8e39a0b42407c95921ca8262b0a75cad5f2 (patch) | |
| tree | 3d874e8d8e225205ad364c7911485b3fdeb67b73 /.gitlab-ci.yml | |
| parent | 1279a83103262950ab99e8a6fe3c6cc2da8d42a8 (diff) | |
M4: generate synchronization lines
This also includes Bison version check. Versions before 3.0 don't
support them in a reliable way and we don't promise to work with
versions older than 2.4.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions