equal
deleted
inserted
replaced
496 self._drop(filename) |
496 self._drop(filename) |
497 return True |
497 return True |
498 else: |
498 else: |
499 self._remove(filename) |
499 self._remove(filename) |
500 return True |
500 return True |
|
501 |
|
502 @requires_no_parents_change |
|
503 def set_clean(self, filename, parentfiledata=None): |
|
504 """record that the current state of the file on disk is known to be clean""" |
|
505 self._dirty = True |
|
506 self._updatedfiles.add(filename) |
|
507 self.normal(filename, parentfiledata=parentfiledata) |
501 |
508 |
502 @requires_parents_change |
509 @requires_parents_change |
503 def update_file_p1( |
510 def update_file_p1( |
504 self, |
511 self, |
505 filename, |
512 filename, |