Sun, 24 Nov 2024 17:35:36 UTC | login

Information for file /etc/profile.d/devtodo.sh

Name/etc/profile.d/devtodo.sh
Digest (sha256)d450bb169687041af95acd867c8c3d81de98cdc2304a33f484d236cea468691e
Size1.21 KB
Modification timeTue, 09 May 2006 11:38:33 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMdevtodo-0.1.20-17.fc28.riscv64.rpm