Jonas Jenwald 35e78f7f11 Generate the preferences_schema.json file, for the Chromium addon, during building
This avoids the hassle of having to manually update that file when adding/modifying preferences in the viewer.
Updating the preferences-metadata should now only be something that the Chromium addon maintainer has to do.
2026-01-30 13:26:16 +01:00
..
2024-09-08 16:35:13 +02:00
2016-07-10 17:49:16 +08:00
2016-07-10 17:49:16 +08:00
2025-07-07 09:59:36 +09:00