frsh_configuration_parameters.h is now generated OMK

[frescor/frsh-include.git] / frsh_memory_management.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