TDEVNAMES

Undocumented in source.
alias TDEVNAMES = DEVNAMES

Meta