do not delete random_compat library. fixes #4214
commit9e5ebb620a8cee1aa1f86bf1e2ddc278a187a483
authorAndreas Gohr <andi@splitbrain.org>
Sun, 18 Feb 2024 14:47:29 +0000 (18 15:47 +0100)
committerAndreas Gohr <andi@splitbrain.org>
Sun, 18 Feb 2024 14:48:13 +0000 (18 15:48 +0100)
tree18abd4b7a03d5024ec5b695705aa76ac537fe159
parent453f5287269b654ee90960c2c7d13a92dd6b6830
do not delete random_compat library. fixes #4214
data/deleted.files