]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blobdiff - doc/todo/po:_remove_po_files_when_disabling_plugin.mdwn
poll vote (Accept both)
[git.ikiwiki.info.git] / doc / todo / po:_remove_po_files_when_disabling_plugin.mdwn
index 0801f7fcd823a0733586ca18b1e869458cf2fce2..5d0318ae10f66363642ac49539d3f2c7dbd9a6e4 100644 (file)
@@ -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]]