The "dotfiles" setting:

If enabled, include --dotfiles option for all compatible commands.

REDUCE Historical [ REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]