Files
openide/.gitignore
T
Liana.Bakradze 21814af0cf download EduTools plugin from plugins repo
Plugin was stored as zip archive in resources which consumed too much
space in git repo. See EDU-1146 for reference about the original change
2018-01-17 11:03:44 +03:00

15 lines
305 B
Plaintext

build/dependencies/.gradle
build/dependencies/build
/android
/config
/system
.idea/workspace.xml
/out
.DS_Store
/test-system
/test-config
*.pyc
.idea/libraries/Gradle__*.xml
.idea/gradle_extensions.xml
python/educational-python/build/dependencies/build
python/educational-python/build/dependencies/.gradle