CEF/ergo
1
0
Fork 0
forked from External/ergo
Code Pull requests Activity

implement draft/no-implicit-names

Browse source
This commit is contained in:
Shivaram Lingamneni 2023-08-15 20:29:57 -04:00
parent 24ba72cfd6
commit 3f74612e2b
4 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
gencapdefs.py
View file

@ -213,6 +213,12 @@ CAPDEFS = [
url="https://github.com/ircv3/ircv3-specifications/pull/506",
standard="IRCv3",
),
CapDef(
identifier="NoImplicitNames",
name="draft/no-implicit-names",
url="https://github.com/ircv3/ircv3-specifications/pull/527",
standard="proposed IRCv3",
),
]
def validate_defs():