Joris van Rantwijk 37aa0c605b Read from stdin when no input file specified		2023-02-22 23:20:43 +01:00
..
mwmatching.py	Rename Python module to "mwmatching"	2023-02-14 20:49:24 +01:00
run_matching.py	Read from stdin when no input file specified	2023-02-22 23:20:43 +01:00
test_mwmatching.py	Rename to test_mwmatching.py	2023-02-22 23:20:43 +01:00