X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=ircml.git;a=blobdiff_plain;f=connection.mli;fp=connection.mli;h=884cf94737548538902e4fb180b83fd4a7a8bde2;hp=5da8eda8923ec8c2f3a0838e90dab1c3f9cf0977;hb=f1d6f1d303b9724f7a928b3100dd113796d3329a;hpb=41ed4cf0af1eab1c7b14246f8e1e09fd7b8f3ac9 diff --git a/connection.mli b/connection.mli index 5da8eda..884cf94 100644 --- a/connection.mli +++ b/connection.mli @@ -1,13 +1,20 @@ -(* -*- mode: tuareg -*- ******************************************************) -(* *) -(* Written by and (c) Francois Fleuret, 2002 *) -(* Contact for info and bug reports *) -(* *) -(* This program is free software; you can redistribute it and/or modify *) -(* it under the terms of the GNU General Public License as published by *) -(* the Free Software Foundation. See the file LICENSE for more details. *) -(* *) -(*****************************************************************************) + +(*************************************************************************) +(* This program is free software: you can redistribute it and/or modify *) +(* it under the terms of the version 3 of the GNU General Public License *) +(* as published by the Free Software Foundation. *) +(* *) +(* This program 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 *) +(* General Public License for more details. *) +(* *) +(* You should have received a copy of the GNU General Public License *) +(* along with this program. If not, see . *) +(* *) +(* Written and (C) by Francois Fleuret *) +(* Contact for comments & bug reports *) +(*************************************************************************) exception Network_error of string