Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 26 May 2020 starting at approximately 10am CDT. It is expected to take around 30 minutes and will involve a short period of downtime, around 5 minutes, towards the end of the maintenance period. Please address any questions, comments, or concerns to uwm-help@cgca.uwm.edu.

Commit e0d98137 authored by Phil Jones's avatar Phil Jones

Add trace & retrace to ignored finesse 3 commands.

parent a6100122
......@@ -44,7 +44,7 @@ class ParseException(ExitCodeException):
from test import do_upload, diff
def prepkat(katfile):
irrelevent_commands = ['gnuterm']
irrelevent_commands = ['gnuterm', 'trace', 'retrace']
newkat = []
with open(katfile) as katf:
for line in katf:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment