diff options
| author | Daniel Baumann <daniel@debian.org> | 2024-10-18 20:33:49 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2024-10-18 20:33:49 +0200 |
| commit | dd136858f1ea40ad3c94191d647487fa4f31926c (patch) | |
| tree | 58fec94a7b2a12510c9664b21793f1ed560c6518 /options/license/psfrag | |
| parent | Initial commit. (diff) | |
| download | forgejo-dd136858f1ea40ad3c94191d647487fa4f31926c.tar.xz forgejo-dd136858f1ea40ad3c94191d647487fa4f31926c.zip | |
Adding upstream version 9.0.0.HEADupstream/9.0.0upstreamdebian
Signed-off-by: Daniel Baumann <daniel@debian.org>
Diffstat (limited to 'options/license/psfrag')
| -rw-r--r-- | options/license/psfrag | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/options/license/psfrag b/options/license/psfrag new file mode 100644 index 0000000..c5c3a77 --- /dev/null +++ b/options/license/psfrag @@ -0,0 +1,5 @@ +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. |