diff options
| author |  Fabian Kirchner <kirchner@posteo.de> | 2023-10-02 16:21:10 +0200 |
|---|---|---|
| committer | Fabian Kirchner <kirchner@posteo.de> | 2023-10-02 16:21:10 +0200 |
| commit | 1e49477c1268deaf519ad9ca051c3b34f503cb84 (patch) | |
| tree | 8136dcc34326845c06e0c0a24078f38a4b3965ae /src/extract.sh | |
| parent | 31c17067c5c18b80fb29fc3cf92b9b8d70b371bb (diff) | |
parse tree-grepper results
Diffstat (limited to 'src/extract.sh')
0 files changed, 0 insertions, 0 deletions