Devel: indent: allow user to specify indent directories and options
Description
Description
Details
Details
- Provenance
kgaillot Authored on Jul 1 2021, 11:58 AM - Parents
- rPcf3f436a869b: Devel: indent: only indent regular files
- Branches
- Unknown
- Tags
Devel: indent: allow user to specify indent directories and options Tags None Referenced Files None Subscribers None |