Rename libdevctl into libdevdctl
In recent head there is already a libdevctl so we need to avoid conflicts
Sponsored by: Gandi.net
Description
Description
Details
Details
- Provenance
bapt Authored on - Parents
- rS289683: Remove all comments deriving from Linux.
- Branches
- Unknown
- Tags