Toggle navigation
grg
Not logged in ·
Login
Home
Timeline
Files
Branches
Tags
Home
Help: mv-rm-files
Command-List
The "mv-rm-files" setting:
If enabled, the "mv" and "rename" commands will also move the associated files within the check-out -AND- the "rm" and "delete" commands will also remove the associated files from within the check-out.
GRG for REDUCE
[
GRG Homepage
|
GitHub Mirror
|
SourceHut Mirror
|
NotABug Mirror
|
Chisel Mirror
|
Chisel RSS
]