diff options
Diffstat (limited to 'COPYRIGHT')
| -rw-r--r-- | COPYRIGHT | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/COPYRIGHT b/COPYRIGHT index c0817619..2f14e5f3 100644 --- a/COPYRIGHT +++ b/COPYRIGHT @@ -78,12 +78,12 @@ All other files which have no copyright comments are original works Copyright © 2005-2012 Rich Felker, the main author of this library. The decision to exclude such comments is intentional, as it should be possible to carry around the complete source code on tiny storage -media. All public header files (include/*) should be treated as Public -Domain as they intentionally contain no content which can be covered -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. +media. All public header files (include/* and arch/*/bits/*) should be +treated as Public Domain as they intentionally contain no content +which can be covered 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: |