Information for file /etc/profile.d/devtodo.sh
Name | /etc/profile.d/devtodo.sh |
---|---|
Digest (sha256) | d450bb169687041af95acd867c8c3d81de98cdc2304a33f484d236cea468691e |
Size | 1.21 KB |
Modification time | Tue, 09 May 2006 11:38:33 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
configuration don't replace |
RPM | devtodo-0.1.20-36.fc40.riscv64.rpm |