MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

koltin beta 5093 compatibility — cleanup

Browse Source
This commit is contained in:
Vladimir Krivosheev
2015-12-24 16:07:27 +01:00
parent 07f892f1b3
commit 9a6b71244f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/settings-repository/src/git/dirCacheEditor.kt
+1 -1
View File
@@ -234,7 +234,7 @@ public fun Repository.deleteAllFiles(deletedSet: MutableSet<String>? = null, fro
}
if (fromWorkingTree) {
val files = workTree.listFiles { it.name != Constants.DOT_GIT }
val files = workTree.listFiles { file -> file.name != Constants.DOT_GIT }
if (files != null) {
for (file in files) {
FileUtil.delete(file)