Changeset 933:d165e47fda52 for docker

Timestamp:

04/27/19 12:24:31 (6 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

The runner script uses Python 3 (re #347).

(No files)