tweak plc.d/db so that clean-dump works better, and can take an optional number of...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 26 Nov 2022 13:45:44 +0000 (14:45 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 26 Nov 2022 13:45:44 +0000 (14:45 +0100)
commit2fb2ab94189643bedabcef1b585671da5a01832e
tree9c849e56bff08414075e2f80d569b7eeb48038d3
parentc3fc031363ac794e6b1245c6ed1a05329cba69c9
tweak plc.d/db so that clean-dump works better, and can take an optional number of days
plc.d/db