diff options
| author |  Fabian Kirchner <kirchner@posteo.de> | 2023-10-15 10:58:23 +0200 |
|---|---|---|
| committer | Fabian Kirchner <kirchner@posteo.de> | 2023-10-15 10:58:23 +0200 |
| commit | 2f9d80d2040ec080cafb97800abbc958eaf00beb (patch) | |
| tree | c7fb9ae5ca77eb8c40a5926793cdad73dab7ef4d /app/TreeGrepper/Result.hs | |
| parent | e2f4e9fc842fe41cdaa3cf53375ab59b6c10b80d (diff) | |
add issue about ordering
Diffstat (limited to 'app/TreeGrepper/Result.hs')
0 files changed, 0 insertions, 0 deletions