From ed475f72e3b45e021d922031a7ca22c28a282de3 Mon Sep 17 00:00:00 2001
From: Simon Legner <Simon.Legner@gmail.com>
Date: Sun, 2 Oct 2022 10:21:04 +0200
Subject: [PATCH] manifest.json: add $schema

---
 public/manifest.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/public/manifest.json b/public/manifest.json
index 301c56d1..625a0a81 100644
--- a/public/manifest.json
+++ b/public/manifest.json
@@ -1,4 +1,5 @@
 {
+  "$schema": "https://json.schemastore.org/web-manifest-combined.json",
   "name": "DevDocs",
   "short_name": "DevDocs",
   "description": "API Documentation Browser",