##// END OF EJS Templates
demo: allow multiple dashes in '# <demo> --- stop ---'
Ville M. Vainio -
Show More
@@ -180,7 +180,7 b' def re_mark(mark):'
180 180
181 181 class Demo(object):
182 182
183 re_stop = re_mark('-?\s?stop\s?-?')
183 re_stop = re_mark('-*\s?stop\s?-*')
184 184 re_silent = re_mark('silent')
185 185 re_auto = re_mark('auto')
186 186 re_auto_all = re_mark('auto_all')
General Comments 0
You need to be logged in to leave comments. Login now