diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-07-13 20:55:08 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-07-13 20:55:17 +0200 |
| commit | 752158a8efb7a027e5020d3c9c03aa5d70002b56 (patch) | |
| tree | 09a3db1cead84f556047a33c2303e9082be4634c /.editorconfig | |
| parent | 6ba45f81a8a8fcf404f899b9f6879dd6af7d8ac4 (diff) | |
Move flake-searching.sh and make it less dependent on git
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions