Changeset 970:440095aa63dc for docker

Timestamp:

05/16/19 18:44:35 (6 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

Better border colour for the fault explanation frame (re #347)

(No files)