9b0fede338
The scripts have to be run inside the l4v repo to work properly. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
---|---|---|
.. | ||
fixme-count.sh | ||
sorry-count.sh | ||
stats.py |
9b0fede338
The scripts have to be run inside the l4v repo to work properly. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
---|---|---|
.. | ||
fixme-count.sh | ||
sorry-count.sh | ||
stats.py |