Information for file /opt/rh/devtoolset-4/root/usr/lib64/eclipse/eclipse.ini
| Name | /opt/rh/devtoolset-4/root/usr/lib64/eclipse/eclipse.ini |
|---|---|
| Digest (sha256) | 93a8400547793f510538da76fa9c117946a8ec374fd565ab4db892550476b82a |
| Size | 1.31 KB |
| Modification time | Tue, 06 Jun 2017 09:45:27 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
configuration |
| RPM | devtoolset-4-eclipse-platform-1:4.5.2-5.4.el7.x86_64.rpm |
