diff options
| author | Paul Elder <paul.elder@ideasonboard.com> | 2020-12-05 19:30:45 +0900 |
|---|---|---|
| committer | Paul Elder <paul.elder@ideasonboard.com> | 2021-02-16 19:21:07 +0900 |
| commit | 2ad8768fd6f7e784db24658604f81db86f57cc2f (patch) | |
| tree | 021d9964b4d8c58fbd22c34474e419e53f0fcdda /Documentation/theme/footer.html | |
| parent | 7832e19a599ec10eb9cf75decbe3b03d6af5364c (diff) | |
utils: ipc: add generator script
We want to avoid changing our copy of mojo to make updates easier. Some
parameters in the mojo generator script needs to be changed though; add
a wrapper script that sets these parameters.
Signed-off-by: Paul Elder <paul.elder@ideasonboard.com>
Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Niklas Söderlund <niklas.soderlund@ragnatech.se>
Diffstat (limited to 'Documentation/theme/footer.html')
0 files changed, 0 insertions, 0 deletions