Windows 7 Pro (32bit)
SmartGit Version 17.0.4 #10132
SmartGitを試用中。
Filesペインにおいて右クリックした時のメニューのうち、以下のものがある。
- Discard
- Remove
- Delete
各種説明はこちら
http://www.syntevo.com/doc/display/SG/Local+Operations+on+the+Working+Tree
2011年の情報だが、RemoveとDeleteの違いは以下が簡潔だ。
http://smartgit.3668570.n2.nabble.com/Remove-and-delete-td5898706.html
Delete is for physical deleting the file (rm ). Remove is for making unversioned (git rm ). What names do you suggest?