##// END OF EJS Templates
Enclose \ldots with {}...
Enclose \ldots with {} Fixes #5787, change made directly from within Github. Haven't run the test suite.

File last commit:

r13582:b21d447e
r16853:d3569bf9
Show More
_dummy.py
29 lines | 578 B | text/x-python | PythonLexer
#-----------------------------------------------------------------------------
# Copyright (C) 2013 Min RK
#
# Distributed under the terms of the 2-clause BSD License.
#-----------------------------------------------------------------------------
from contextlib import contextmanager
def beginActivityWithOptions(options, reason=""):
return
def endActivity(activity):
return
def nope():
return
def nap():
return
@contextmanager
def nope_scope(
options=0,
reason="Because Reasons"
):
yield
def napping_allowed():
return True