fix: throw an error if : omitted unintentionally, #212, #208

2026-09-15 04:10:40 -07:00 · 2020-03-31 14:05:38 +08:00
parent c30766ffe1
commit 8daf281fca
14 changed files with 86 additions and 25 deletions
@@ -16,6 +16,7 @@ tutorials:
  miscellaneous:
    migration9: migrate-to-9.html
    changelog: changelog.html
+    differences: differences.html
    contribution_guidelines: contribution-guidelines.html

 filters: