Use more inclusive copyright header

This commit is contained in:
Jakob Borg
2014-11-16 21:13:20 +01:00
parent ead09395d9
commit 82c6caef85
145 changed files with 166 additions and 148 deletions

View File

@@ -1,8 +1,8 @@
#!/bin/bash
missing-contribs() {
for email in $(git log --format=%ae master | grep -v jakob@nym.se | sort | uniq) ; do
grep -q "$email" CONTRIBUTORS || echo $email
for email in $(git log --format=%ae master | sort | uniq) ; do
grep -q "$email" AUTHORS || echo $email
done
}