Fix copyrights (#181 #182 #184 #186 #187)

2026-09-01 19:31:10 +00:00 · 2013-08-21 16:08:02 +02:00
parent cbeea79a40
commit 20107078d2
8 changed files with 131 additions and 99 deletions
@@ -130,6 +130,8 @@ def findHeadersAndFiles():
    for root, dirs, files in os.walk('.', topdown=True):
        if ".git" in dirs:
            dirs.remove(".git")
+        if "developer.github.com" in dirs:
+            dirs.remove("developer.github.com")

        for filename in files:
            fullname = os.path.join(root, filename)
@@ -143,6 +145,8 @@ def findHeadersAndFiles():
                yield (StandardHeader(), fullname)
            elif "ReplayData" in fullname:
                pass
+            elif fullname.endswith(".pyc"):
+                pass
            else:
                print "Don't know what to do with", filename