OSDN Git Service

Update parse_boxes.py
authorYordan Manolov <yordan.manolov@rwth-aachen.de>
Sun, 19 Jul 2020 09:55:33 +0000 (11:55 +0200)
committerYordan Manolov <yordan.manolov@rwth-aachen.de>
Sun, 19 Jul 2020 09:55:33 +0000 (11:55 +0200)
commitfb8b4502b1c1354ae528e4d0f187e14f25881e1a
tree26c8a5f2c0b7307dd5ddcdd1b95bb73cc1d8710c
parent7f0e1d8bdc4b5ab59971e93293c174eaaff24abc
Update parse_boxes.py
src/inform-or/inform_or_parser/parse_boxes.py