/etc/catkin/profile.d | File Info | Fedora RISC-V

Thu, 12 Dec 2024 20:34:42 UTC | login

Information for file /etc/catkin/profile.d

Name	/etc/catkin/profile.d
Digest (sha256)
Size	4.00 KB
Modification time	Wed, 26 Jul 2017 04:36:39 UTC
User	root
Group	root
Mode	drwxr-xr-x
Flags
RPM	catkin-0.4.5-16.gitd4f1f24.fc27.noarch.rpm