diff --git a/manage.sh b/manage.sh index e730c2a5..024b6f37 100755 --- a/manage.sh +++ b/manage.sh @@ -16,20 +16,6 @@ function check { function fix_headers { python scripts/fix_headers.py - # for file in $(git ls-files | grep "py$") - # do - # git log "--format=format:# Copyright %ad %an %ae" --date=short -- $file | - # sed "s/\([0-9][0-9][0-9][0-9]\)-[0-9][0-9]-[0-9][0-9]/\1/g" | sort -u | - # while read copyright - # do - # if grep -n $file -e "^$copyright$" > /dev/null - # then - # echo > /dev/null - # else - # echo "$file should contain '$copyright'" - # fi - # done - # done } function test {