Thu, 12 Dec 2024 14:49:55 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-27.fc33.riscv64.rpm