This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-04-18 20:41:22 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
0f7d820d71549f0abf6e394874ed1746217780e8
openide
/
python
/
python-community-ide-resources
/
resources
History
Aleksey Rostovskiy
185284cee6
get rid of intellij.build.toolbox.litegen parameter and use BuildOptions.TOOLBOX_LITE_GEN_STEP to skip it instead
...
GitOrigin-RevId: 9aac8ee4ed1ebf2a29de18a238825fafb1ab88f9
2019-05-27 15:08:08 +03:00
..
idea
get rid of intellij.build.toolbox.litegen parameter and use BuildOptions.TOOLBOX_LITE_GEN_STEP to skip it instead
2019-05-27 15:08:08 +03:00
META-INF
PY-34438 Include four new Jupyter tips of the day in IdeTipsAndTricks.xml
2019-03-09 17:09:03 +03:00
tips
Recover after problematic merge
2019-05-03 01:52:21 +03:00
icon-robots.txt
icons sync: skipping
tips
2019-03-13 18:26:38 +03:00
