Changeset 949:235472e65d0f for docker

Timestamp:

05/07/19 18:32:19 (6 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

File names differing only in case are handled properly during update (re #347).

(No files)