Mercurial Repositories > eric / file diff
diff: scripts/install.py
scripts/install.py
- branch
- eric7-maintenance
- changeset 9940
- a57c188857e9
- parent 9832
- 3885b9d7bd31
- parent 9917
- 0160b2816f84
- child 10004
- 983477114d3c
diff -r 9308099b7d38 -r a57c188857e9 scripts/install.py --- a/scripts/install.py Wed Mar 01 09:06:13 2023 +0100 +++ b/scripts/install.py Wed Mar 29 10:03:06 2023 +0200 @@ -863,6 +863,11 @@ ["*.xpm"], ) copyTree( + os.path.join(eric7SourceDir, "MicroPython", "Tools"), + os.path.join(cfg["ericDir"], "MicroPython", "Tools"), + ["*.json"], + ) + copyTree( os.path.join(eric7SourceDir, "UI", "data"), os.path.join(cfg["ericDir"], "UI", "data"), ["*.css"],
