explicitly release crt/* to the public domain

diff --git a/COPYRIGHT b/COPYRIGHT
index 30a74a21d7c7fca743338c6eb8a5c513c14eefd4..d9975eca8dd9c7278a663ce8ba8449f4a26c9b2d 100644 (file)
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -29,3 +29,9 @@ by copyright. Some source modules may fall in this category as well.
 If you believe that a file is so trivial that it should be in the
 Public Domain, please contact me and, if I agree, I will explicitly
 release it from copyright.
+
+The following files are trivial, in my opinion not copyrightable in
+the first place, and hereby explicitly released to the Public Domain:
+
+All public headers: include/*
+Startup files: crt/*