diff options
| author | nia <nia@netbsd.org> | 2019-07-17 11:55:07 +0100 |
|---|---|---|
| committer | Patrick <tingping@tingping.se> | 2019-07-17 11:50:16 -0700 |
| commit | 92014628d1cc06334a9ca8c91a7184d50f5ab9a0 (patch) | |
| tree | be4961db4a2b5abc8f42f781bdbfae6f43585746 /.github/workflows | |
| parent | 586f089df6cdc465411ad1805b618ec44acc20ab (diff) | |
build: Make generated headers a dependency for users of common.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions