diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-08-01 13:56:48 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-08-01 13:56:48 +0200 |
| commit | f1f0bf637bcfd7d10d3acdb328d016ccf2cc4ffb (patch) | |
| tree | dc093edd40ecc000c942a21ba0e814cacc66c45b /contrib/pp/en | |
| parent | 243d39920cd2006400a2a3a0ca275806218d1b30 (diff) | |
build system: also obtain event type registry from GANA
Diffstat (limited to 'contrib/pp/en')
0 files changed, 0 insertions, 0 deletions