Changeset 12863

Timestamp:
2020-05-04T18:32:59+02:00 (21 months ago)
Author:
mathiot
Message:

ticket #2413: fix minor issue in tools (stop domcfg before writing file if issue detected)

File:
1 copied

Note: See TracChangeset for help on using the changeset viewer.