Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

meta-schema extensions & disallowing unknown keywords#1614

Merged
gregsdennis merged 2 commits intomain from
gregsdennis/meta-schema-extensions
Aug 3, 2025
Merged

meta-schema extensions & disallowing unknown keywords #1614
gregsdennis merged 2 commits intomain from
gregsdennis/meta-schema-extensions

Commits

Commits on Aug 3, 2025

AltStyle によって変換されたページ (->オリジナル) /