Wed, 15 May 2013 11:21:39 +0800 remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.
chunhan [Wed, 15 May 2013 11:21:39 +0800] rev 6
remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.
(0) -1 +1 +10 +30 tip