Change /FDSN/Time/Quality schema header type from number to integer t…

…o match description. Make new schema revision. Fixes #29
FDSN · Jul 14, 2023 · 8865e3b · 8865e3b
1 parent 1bdf5eb
commit 8865e3b
Show file tree

Hide file tree

Showing 3 changed files with 394 additions and 2 deletions.
diff --git a/conf.py b/conf.py
@@ -102,7 +102,7 @@
                                       expand_buttons=True,
                                       with_footer=False)
 
-generate_from_filename("extra-headers/ExtraHeaders-FDSN-v1.0.schema-2020-12.json",
+generate_from_filename("extra-headers/ExtraHeaders-FDSN-v1.0.schema-2023-07.json",
                        "extra-headers/ExtraHeaders-FDSN-v1.0.schema.html",
                         config=jsfh_config)