##// END OF EJS Templates
repair: bulk update sets...
repair: bulk update sets Use a single set.update and set.difference_update call instead of many set.add and set.discard calls.
Martin Geisler -
r8479:3e16c0fc default
Show More
Name Size Modified Last Commit Author
/ hgext / inotify / linux
__init__.py Loading ...
_inotify.c Loading ...
watcher.py Loading ...