From 81f7c008e97fd3201bb0b1745cbac9806a7fc950 Mon Sep 17 00:00:00 2001 From: jet Date: Thu, 2 Oct 2014 15:02:48 +0200 Subject: with header file --- HEADER.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 HEADER.txt diff --git a/HEADER.txt b/HEADER.txt new file mode 100644 index 0000000..b0e9367 --- /dev/null +++ b/HEADER.txt @@ -0,0 +1,18 @@ +This file is part of the CRISTAL-iSE kernel. +Copyright (c) 2001-2014 The CRISTAL Consortium. All rights reserved. + +This library is free software; you can redistribute it and/or modify it +under the terms of the GNU Lesser General Public License as published +by the Free Software Foundation; either version 3 of the License, or (at +your option) any later version. + +This library is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; with out even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public +License for more details. + +You should have received a copy of the GNU Lesser General Public License +along with this library; if not, write to the Free Software Foundation, +Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. + +http://www.fsf.org/licensing/licenses/lgpl.html -- cgit v1.2.3