diff options
| author | Jeff Huffman <tejing@tejing.com> | 2023-12-26 11:31:24 -0500 |
|---|---|---|
| committer | Jeff Huffman <tejing@tejing.com> | 2023-12-26 16:13:31 -0500 |
| commit | b3a184a4aabf53ab3f408291a006b2e5835a4afa (patch) | |
| tree | e3ff36094bb055ff6da3088514d15ae250145574 /maintainers | |
| parent | 6df37dc6a77654682fe9f071c62b4242b5342e04 (diff) | |
| download | nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.gz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.bz2 nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.lz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.xz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.zst nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.zip | |
lean4: clean up colliding files
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions