language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-06 19:58:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/crates/erg_compiler/lib/pystd/urllib.d/error.d.er
Shunsuke Shibayama c4a0efae08 feat: add Python API type definitions
2023-05-03 00:54:05 +09:00

4 lines
100 B
Python
Raw Permalink Blame History

.URLError: ClassType
.HTTPError: ClassType
.HTTPError <: .URLError
.ContentTooShortError: ClassType
Reference in a new issue View git blame Copy permalink