comparison COPYING @ 4317:a691916ab535

fix for 'logs are not stored in log files anymore after a /tools/reset'
author Alain Mazy <alain@mazy.be>
date Mon, 23 Nov 2020 12:04:42 +0100
parents bf7b9edf6b81
children 7822fa96f9c8
comparison
equal deleted inserted replaced
4315:e62bd014ae5c 4317:a691916ab535