summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2000-01-07 15:50:42 +0000
committerDamien Doligez <damien.doligez-inria.fr>2000-01-07 15:50:42 +0000
commit469ec90391eea913b715c5f49390ce3cf7871cf8 (patch)
treeff767b9bb6a666127e75f05b856c91a513841fad /LICENSE
parent26959fb1d92d4d3ace1475f11b629c3a6fd9fee0 (diff)
downloadocaml-469ec90391eea913b715c5f49390ce3cf7871cf8.tar.gz
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'LICENSE')
-rw-r--r--LICENSE14
1 files changed, 7 insertions, 7 deletions
diff --git a/LICENSE b/LICENSE
index 9245f62797..9ecf40696d 100644
--- a/LICENSE
+++ b/LICENSE
@@ -116,8 +116,8 @@ settled by the Court of Versailles.
----------------------------------------------------------------------
- GNU LIBRARY GENERAL PUBLIC LICENSE
- Version 2, June 1991
+ GNU LIBRARY GENERAL PUBLIC LICENSE
+ Version 2, June 1991
Copyright (C) 1991 Free Software Foundation, Inc.
59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
@@ -127,7 +127,7 @@ settled by the Court of Versailles.
[This is the first released version of the library GPL. It is
numbered 2 because it goes with version 2 of the ordinary GPL.]
- Preamble
+ Preamble
The licenses for most software are designed to take away your
freedom to share and change it. By contrast, the GNU General Public
@@ -217,7 +217,7 @@ works together with the library.
Note that it is possible for a library to be covered by the ordinary
General Public License rather than by this special one.
- GNU LIBRARY GENERAL PUBLIC LICENSE
+ GNU LIBRARY GENERAL PUBLIC LICENSE
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
0. This License Agreement applies to any software library which
@@ -251,7 +251,7 @@ such a program is covered only if its contents constitute a work based
on the Library (independent of the use of the Library in a tool for
writing it). Whether that is true depends on what the Library does
and what the program that uses the Library does.
-
+
1. You may copy and distribute verbatim copies of the Library's
complete source code as you receive it, in any medium, provided that
you conspicuously and appropriately publish on each copy an
@@ -529,7 +529,7 @@ decision will be guided by the two goals of preserving the free status
of all derivatives of our free software and of promoting the sharing
and reuse of software generally.
- NO WARRANTY
+ NO WARRANTY
15. BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO
WARRANTY FOR THE LIBRARY, TO THE EXTENT PERMITTED BY APPLICABLE LAW.
@@ -552,7 +552,7 @@ FAILURE OF THE LIBRARY TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF
SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
DAMAGES.
- END OF TERMS AND CONDITIONS
+ END OF TERMS AND CONDITIONS
Appendix: How to Apply These Terms to Your New Libraries