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.
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. |