From d659ba677e3dbd95430f59b3794ac2f2a5677d61 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 21 May 2017 15:34:47 +0200 Subject: [PATCH] remove old license header --- src/data/CCRingBuffer.ml | 23 ++--------------------- src/data/CCRingBuffer.mli | 21 ++------------------- 2 files changed, 4 insertions(+), 40 deletions(-) diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml index d78d659c..07af218e 100644 --- a/src/data/CCRingBuffer.ml +++ b/src/data/CCRingBuffer.ml @@ -1,24 +1,5 @@ -(* - * CCRingBuffer - Polymorphic circular buffer with - * deque semantics for accessing both the head and tail. - * - * Copyright (C) 2015 Simon Cruanes, Carmelo Piccione - * - * 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 2.1 of the License, or (at your option) any later version, - * with the special exception on linking described in file LICENSE. - * - * This library is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without 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 - *) + +(* This file is free software, part of containers. See file "license" for more details. *) (** Polymorphic Circular Buffer for IO *) diff --git a/src/data/CCRingBuffer.mli b/src/data/CCRingBuffer.mli index 04f7156a..bbffaf51 100644 --- a/src/data/CCRingBuffer.mli +++ b/src/data/CCRingBuffer.mli @@ -1,22 +1,5 @@ -(* - * CCRingBuffer - Polymorphic Circular Buffer - * Copyright (C) 2015 Simon Cruanes, Carmelo Piccione - * - * 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 2.1 of the License, or (at your option) any later version, - * with the special exception on linking described in file LICENSE. - * - * This library is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without 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 - *) + +(* This file is free software, part of containers. See file "license" for more details. *) (** {1 Circular Buffer (Deque)}