lh-l4v/misc/stats
Gerwin Klein 9b0fede338 misc: repo check for sorry/fixme count
The scripts have to be run inside the l4v repo to work properly.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2022-05-30 13:54:55 +10:00
..
fixme-count.sh misc: repo check for sorry/fixme count 2022-05-30 13:54:55 +10:00
sorry-count.sh misc: repo check for sorry/fixme count 2022-05-30 13:54:55 +10:00
stats.py trivial: fix stray indent 2020-07-23 12:04:19 +10:00