mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
IJent cleanup: remove unused FileInfo.path
GitOrigin-RevId: 8de108c849f1436ec8c9c0e24fbe75c9a056d196
This commit is contained in:
committed by
intellij-monorepo-bot
parent
493bc92c31
commit
f0ba2b4dcd
@@ -7,7 +7,6 @@ import com.intellij.platform.ijent.fs.IjentPosixFileInfo
|
||||
import java.time.ZonedDateTime
|
||||
|
||||
data class IjentPosixFileInfoImpl(
|
||||
override val path: IjentPath.Absolute,
|
||||
override val type: IjentPosixFileInfo.Type,
|
||||
override val permissions: IjentPosixFileInfo.Permissions,
|
||||
override val creationTime: ZonedDateTime?,
|
||||
|
||||
@@ -4,7 +4,6 @@ package com.intellij.platform.ijent.fs
|
||||
import java.time.ZonedDateTime
|
||||
|
||||
sealed interface IjentFileInfo {
|
||||
val path: IjentPath.Absolute
|
||||
val type: Type
|
||||
val permissions: Permissions
|
||||
|
||||
|
||||
Reference in New Issue
Block a user