2021-05-07 17:04:57 +02:00
commit 7a7671ce40
27 changed files with 9780 additions and 0 deletions
							
							
							
						
@@ -0,0 +1,9 @@
#!/bin/bash
for i in include content bib; do
	grep --color '%*TODO' $i/*
done | if [[ "$@" == "--summary" ]]; then
	echo $(wc -l)" Todos"
else
	cat
fi