]> glassweightruler.freedombox.rocks Git - xdg-ninja.git/commit
Add Kani
authorPavel Grigorenko <grigorenkopv@ya.ru>
Sat, 16 Dec 2023 12:57:06 +0000 (15:57 +0300)
committerPavel Grigorenko <grigorenkopv@ya.ru>
Sat, 16 Dec 2023 12:57:06 +0000 (15:57 +0300)
commita44c3befcf6076d9e4c5abe22c8b61558ddbe2e9
tree57ed7638d77c0b4246fff6f5f05411f58985b890
parent74dd300df17d2af5e158070edd79d31491f51ef0
Add Kani
programs/kani.json [new file with mode: 0644]