david b44d1e941f Solution to grep in bash

2023-09-06 17:31:32 +02:00

..

config.json

Solution to grep in bash

2023-09-06 17:31:32 +02:00

metadata.json

Solution to grep in bash

2023-09-06 17:31:32 +02:00