diff options
| author | GiteaBot <teabot@gitea.io> | 2021-03-07 00:12:31 +0000 |
|---|---|---|
| committer | GiteaBot <teabot@gitea.io> | 2021-03-07 00:12:31 +0000 |
| commit | 4ba8572361f7d8067efd6b0ce36c259eac6c5b4d (patch) | |
| tree | 94e5939dafa8571bdbf9c726b2811cfbf76b9957 /options/license/psfrag | |
| parent | a68db9076aa47f3464df62edaf35808b428d7c59 (diff) | |
| download | gitea-4ba8572361f7d8067efd6b0ce36c259eac6c5b4d.tar.gz gitea-4ba8572361f7d8067efd6b0ce36c259eac6c5b4d.zip | |
[skip ci] Updated licenses and gitignores
Diffstat (limited to 'options/license/psfrag')
| -rw-r--r-- | options/license/psfrag | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/options/license/psfrag b/options/license/psfrag index b40ae68056..c5c3a77737 100644 --- a/options/license/psfrag +++ b/options/license/psfrag @@ -2,8 +2,4 @@ psfrag.dtx Copyright (C) 1996 Craig Barratt, Michael C. Grant, and David Carlisle. All rights are reserved. -This system 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. Don't come complaining to us if you modify this -file and it doesn't work! If this file is modified by anyone but the authors, -those changes and their authors must be explicitly stated HERE. +This system 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. Don't come complaining to us if you modify this file and it doesn't work! If this file is modified by anyone but the authors, those changes and their authors must be explicitly stated HERE. |