Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/tests/test.py

    r1d57215 r52c97dd  
    205205
    206206                print(text, file = out);
    207                 sys.stdout.flush()
    208                 sys.stderr.flush()
    209 
    210207
    211208        #clean the workspace
Note: See TracChangeset for help on using the changeset viewer.