Correcting license heading

git-svn-id: http://www.frescor.org/private/svn/frescor/frsh/trunk/include@1198 35b4ef3e-fd22-0410-ab77-dab3279adceb

diff --git a/frsh.h b/frsh.h
index 630c4c9ef415e4e74acd38a42973d4b0276e7e9e..de14f014c99e5db6f5a5c6cd23ed93c979c0647e 100644 (file)
--- a/frsh.h
+++ b/frsh.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_configuration_parameters.h b/frsh_configuration_parameters.h
index d309f11a35eb2ffdc21390ac898aabb94f8689a7..45a67a6826cfa9475f70a2d725e897a26482c612 100644 (file)
--- a/frsh_configuration_parameters.h
+++ b/frsh_configuration_parameters.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_configuration_parameters.h
 //==============================================

diff --git a/frsh_core.h b/frsh_core.h
index 2ecb528f9a6ee4d41050f652fa46cdd4ee5484aa..d3d443ab3ebd6b4c8dfd14405917d9c5f13c1bd4 100644 (file)
--- a/frsh_core.h
+++ b/frsh_core.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_core_types.h b/frsh_core_types.h
index f038f70181e3ba22a1e82a4df821eddf43119012..a892a8ece7b58bdc91eac5ceba55949da64885b6 100644 (file)
--- a/frsh_core_types.h
+++ b/frsh_core_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_core_types.h
 //==============================================

diff --git a/frsh_cpp_macros.h b/frsh_cpp_macros.h
index 42e93cef9b50087973675278b85462cdecb3e12d..b871312b7009e8cbf0e952910487a001861dfea2 100644 (file)
--- a/frsh_cpp_macros.h
+++ b/frsh_cpp_macros.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 #ifndef _FRSH_CPP_MACROS_H_

diff --git a/frsh_debug_and_trace.h b/frsh_debug_and_trace.h
index e63bc07af12a57758b7826754430a2cce2ffc1b8..bb9ff774294d170290e8069f54852bb5594c8b01 100644 (file)
--- a/frsh_debug_and_trace.h
+++ b/frsh_debug_and_trace.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //==============================================
 //  ******** *******    ********  **      **

diff --git a/frsh_debug_and_trace_types.h b/frsh_debug_and_trace_types.h
index a1d1b56696cd01d1bb700fb6906c4e30ed0cd916..b2acf1d908fcc4430faa5954e87b4ed8e9d60883 100644 (file)
--- a/frsh_debug_and_trace_types.h
+++ b/frsh_debug_and_trace_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //==============================================
 //  ******** *******    ********  **      **

diff --git a/frsh_distributed.h b/frsh_distributed.h
index c3ef1d4247b0f9a83e6d19b255b7611b9cadf72a..df00cabfec2fd43ec89c2b4b5fa62d65164fc1cf 100644 (file)
--- a/frsh_distributed.h
+++ b/frsh_distributed.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_distributed.h
 //==============================================

diff --git a/frsh_distributed_types.h b/frsh_distributed_types.h
index f486e1c0b579e5325f8e2ac9dcdbca6c4aea81fc..dcb2e56102f19e43be6fb3a87a533c4b3f85a6f4 100644 (file)
--- a/frsh_distributed_types.h
+++ b/frsh_distributed_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_dynamic_reclaiming.h b/frsh_dynamic_reclaiming.h
index ea328d97381049fbb4c8c0cc534c2727514a2ff3..c46a6fbf07beff9fbc7f63bb7eca4ff0c2eb8ed9 100644 (file)
--- a/frsh_dynamic_reclaiming.h
+++ b/frsh_dynamic_reclaiming.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_dynamic_reclaiming.h
 //==============================================

diff --git a/frsh_energy_management.h b/frsh_energy_management.h
index 78326393b68b07ef95e3cca57ff167b828351484..7fbc677a8bc18bc8f9542061ba7741680497c939 100644 (file)
--- a/frsh_energy_management.h
+++ b/frsh_energy_management.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_energy_management.h
 

diff --git a/frsh_energy_management_types.h b/frsh_energy_management_types.h
index edf68ee973e1c093eb3c1cc17f55322890f2dc98..721290feb60486d26fff5ae38162159bea2f15f5 100644 (file)
--- a/frsh_energy_management_types.h
+++ b/frsh_energy_management_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_energy_management_types.h
 //==============================================

diff --git a/frsh_error.h b/frsh_error.h
index 38b0a1fcac48f1641adb420d5be56355ce6314ad..d617ce2019f6198d0bb666d3d48be609d30e4811 100644 (file)
--- a/frsh_error.h
+++ b/frsh_error.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_error.h
 //==============================================

diff --git a/frsh_feedback_control.h b/frsh_feedback_control.h
index 06af3beafaf8dc7d071c292c37460ccde733e994..c0d51a3c03d2c1304ab7e9732ee6f806cf0b54c3 100644 (file)
--- a/frsh_feedback_control.h
+++ b/frsh_feedback_control.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_feedback_control.h
 

diff --git a/frsh_feedback_control_types.h b/frsh_feedback_control_types.h
index fed372b42f4a1265cd65de337be6d6efd3596842..d9605f605ce5e9098706b3375e3cd6a78060a683 100644 (file)
--- a/frsh_feedback_control_types.h
+++ b/frsh_feedback_control_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_hierarchical.h b/frsh_hierarchical.h
index 7968d36716bdd2d2304518cb1e653d9ddc4b71e0..749b2b90433e94c8dbbcde7679cf66c8173c2df3 100644 (file)
--- a/frsh_hierarchical.h
+++ b/frsh_hierarchical.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_hierarchical.h
 

diff --git a/frsh_hierarchical_types.h b/frsh_hierarchical_types.h
index 01bcbead81a2ac239a41a519880a02c134dc6708..b71a614a70ed80c7bcb8401d0bc7606966132298 100644 (file)
--- a/frsh_hierarchical_types.h
+++ b/frsh_hierarchical_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_implementation_specific.h b/frsh_implementation_specific.h
index ae671b0db2574ee848197b1d5578d51a980e415e..2fee03903834186c0ce26918a888a359209597bd 100644 (file)
--- a/frsh_implementation_specific.h
+++ b/frsh_implementation_specific.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_implementation_specific.h
 //==============================================

diff --git a/frsh_implementation_specific_types.h b/frsh_implementation_specific_types.h
index 0c2250586ad301801d2d13d6ae884360e24f5e56..14fc3f1f3ff3250f5b4f3d7ea71309a0a4458ed1 100644 (file)
--- a/frsh_implementation_specific_types.h
+++ b/frsh_implementation_specific_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_implementation_specific_types.h
 //==============================================

diff --git a/frsh_memory_management.h b/frsh_memory_management.h
index 2a910ad78b1068db72171326ed5c8937b3e8796d..64c53fe1ae27d023b02da8aaf31eb2ee8e0e2fbc 100644 (file)
--- a/frsh_memory_management.h
+++ b/frsh_memory_management.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_memory_management.h
 

diff --git a/frsh_opaque_types.h b/frsh_opaque_types.h
index 4d21bf05be7244995b6a99cb7b602eca3340f9e3..7e6c009e05f7c23491976f1d66da19ca74e9e515 100644 (file)
--- a/frsh_opaque_types.h
+++ b/frsh_opaque_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_opaque_types.h
 //==============================================

diff --git a/frsh_shared_objects.h b/frsh_shared_objects.h
index 30a7cb92e5f461ea921d6f7a500b287aabcc4722..6c4d92b4d84535c2bb29d1c7d23ee26c04a71352 100644 (file)
--- a/frsh_shared_objects.h
+++ b/frsh_shared_objects.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_shared_objects.h
 

diff --git a/frsh_shared_objects_types.h b/frsh_shared_objects_types.h
index 05dedb9d0d1de1a43b410f7302e5025b7c8d50c7..7cf1aed976de750e87d1687060d3c819e9f1d433 100644 (file)
--- a/frsh_shared_objects_types.h
+++ b/frsh_shared_objects_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 
 //==============================================

diff --git a/frsh_spare_capacity.h b/frsh_spare_capacity.h
index a4cffe0cfcbd555bb29c85cdc6a94088bb017505..0d0cf70e649432dd5f1126627ed3b0c4a51d5247 100644 (file)
--- a/frsh_spare_capacity.h
+++ b/frsh_spare_capacity.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_spare_capacity.h
 //==============================================

diff --git a/frsh_spare_capacity_types.h b/frsh_spare_capacity_types.h
index e8c9f57cb02f1b32e2efb78458dff34989b01a5d..8161521eb857027cd91761a5d79137beceefc825 100644 (file)
--- a/frsh_spare_capacity_types.h
+++ b/frsh_spare_capacity_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_spare_capacity_types.h
 //==============================================

diff --git a/frsh_thread_attrs.h b/frsh_thread_attrs.h
index 0741e5d464d4ab5ed5774b2bd23a9e20fe2ad8da..ee847abfad2bb9290b1801ad2d4c4e43afac62d9 100644 (file)
--- a/frsh_thread_attrs.h
+++ b/frsh_thread_attrs.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_thread.h
 //==============================================

diff --git a/frsh_time.h b/frsh_time.h
index 86dc48ce322b5e48cbca419918280c6ae631d424..c1a16c23fb23cca9d8043399b0754fe51808b821 100644 (file)
--- a/frsh_time.h
+++ b/frsh_time.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_spare_capacity_types.h
 //==============================================

diff --git a/frsh_time_types.h b/frsh_time_types.h
index 8e3b176d38124d210875506b57bf21deb534c9c5..72510388a65bd28c12d7d91e78f6202686370ea9 100644 (file)
--- a/frsh_time_types.h
+++ b/frsh_time_types.h
@@ -51,12 +51,6 @@
 //  by the GNU General Public License. This exception does not
 //  however invalidate any other reasons why the executable file might be
 //  covered by the GNU Public License.
-//  As a special exception, if you include this header file into source
-//  files to be compiled, this header file does not by itself cause
-//  the resulting executable to be covered by the GNU General Public
-//  License.  This exception does not however invalidate any other
-//  reasons why the executable file might be covered by the GNU General
-//  Public License.
 // -----------------------------------------------------------------------
 //frsh_spare_capacity_types.h
 //==============================================