diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 16:01:02 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 16:17:12 +0000 |
| commit | 0e71cd2515586d7118198754ab664db6bc70f47a (patch) | |
| tree | 32f858c2b921e6fc0f2301c66577e85adb3631f5 /executor/_include/flatbuffers/util.h | |
| parent | 03be84d2419911264bc718ceaf8e5b2a62551e9e (diff) | |
pkg/manager: dedup HTML page creation code
Add a common function that is used to create all HTML pages.
This removes some duplication, and allows to prevent more
duplication in future, and to keep things consistent.
Diffstat (limited to 'executor/_include/flatbuffers/util.h')
0 files changed, 0 insertions, 0 deletions