- 13. When a far f is removed from the workspace, the user has two options:\r
- </xs:documentation>\r
- <xs:documentation>\r
- a. Keep all the files in the workspace tree.\r
- </xs:documentation>\r
- <xs:documentation>\r
- b. Remove all the files in f from the workspace tree. If a file has been modified from the original as installed from the far (per md5sum) then the user should be asked if he is "sure" he wants to remove it.\r
+ 13. When a far f is removed from the workspace, the we will remove all the files in f from the workspace tree. If a file has been modified from the original as installed from the far (per md5sum) then the user should be asked if he is "sure" he wants to remove it.\r