language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 18:29:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Create abc.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-04 12:40:14 +09:00
parent b13a09f1c4
commit a84c7854ea
2 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/erg_common/python_util.rs
View file

@ -186,7 +186,8 @@ pub const BUILTIN_PYTHON_MODS: [&str; 176] = [
"zoneinfo",
];
#[cfg(windows)]
pub const BUILTIN_PYTHON_MODS: [&str; 170] = [
pub const BUILTIN_PYTHON_MODS: [&str; 171] = [
"abc",
"argparse",
"array",
"ast",