##// END OF EJS Templates
pushkey: do not exchange obsole markers if feature is disabled...
pushkey: do not exchange obsole markers if feature is disabled This apply to both push and pull both when client or server.

File last commit:

r14971:0b21ae0a default
r17298:59c14bf5 stable
Show More
sitecustomize.py
5 lines | 111 B | text/x-python | PythonLexer
try:
import coverage
getattr(coverage, 'process_startup', lambda: None)()
except ImportError:
pass