This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
MegaIng 46339c112e
Merge branch 'master' into custom_import_sources
vor 4 Jahren
..
parsers Small adjustments to PR vor 4 Jahren
__init__.pyi Prevent terminals from being filtered out when used in always_accept vor 4 Jahren
exceptions.pyi Added type information for UnexpectedEOF (Issue #686) vor 4 Jahren
indenter.pyi Fixes to mypy stubs (Issue #561) vor 4 Jahren
lark.pyi Merge branch 'master' into custom_import_sources vor 4 Jahren
lexer.pyi Fixed tests vor 4 Jahren
reconstruct.pyi Added a bit of explanation for `term_subs` vor 4 Jahren
tree.pyi Fixes to mypy stubs (Issue #561) vor 4 Jahren
visitors.pyi Fixes to mypy stubs (Issue #561) vor 4 Jahren