]> glassweightruler.freedombox.rocks Git - xdg-ninja.git/history - programs/kani.json
projects / xdg-ninja.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #344 from GrigorenkoPV/kani
[xdg-ninja.git] / programs / kani.json
2024-01-07 b3nj5m1nMerge pull request #344 from GrigorenkoPV/kani blob | commitdiff | raw
2023-12-16 Pavel GrigorenkoAdd Kani blob | commitdiff | raw
https://github.com/b3nj5m1n/xdg-ninja