response
parent
71fa036270
commit
67ac2bad74
|
@ -9,3 +9,5 @@ files from the source repository when it has been disabled?
|
|||
>> in most cases, it is not, thanks to .gitignore or similar, but we
|
||||
>> can't be sure. So I just can't decide it is needed to call
|
||||
>> `rcs_remove` rather than a good old `unlink`. --[[intrigeri]]
|
||||
|
||||
>>> I guess you could call `rcs_remove` followed by `unlink`. --[[Joey]]
|
||||
|
|
Loading…
Reference in New Issue