##// 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 class Demo(object):
181 class Demo(object):
182
182
183 re_stop = re_mark('-?\s?stop\s?-?')
183 re_stop = re_mark('-*\s?stop\s?-*')
184 re_silent = re_mark('silent')
184 re_silent = re_mark('silent')
185 re_auto = re_mark('auto')
185 re_auto = re_mark('auto')
186 re_auto_all = re_mark('auto_all')
186 re_auto_all = re_mark('auto_all')
General Comments 0
You need to be logged in to leave comments. Login now