diff options
| author | zeripath <art27@cantab.net> | 2019-10-30 16:19:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-30 16:19:14 +0000 |
| commit | bda70b848fafc0bc74326ac6860b11a500218679 (patch) | |
| tree | f339c401a8f2cfe80447193dd29c1d493d3508fd /options/license/psfrag | |
| parent | bc1775b490a39c42497dc782c1e2effc5af47715 (diff) | |
| download | gitea-bda70b848fafc0bc74326ac6860b11a500218679.tar.gz gitea-bda70b848fafc0bc74326ac6860b11a500218679.zip | |
Update licenses (#8752)
Replaces #8182
Diffstat (limited to 'options/license/psfrag')
| -rw-r--r-- | options/license/psfrag | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/options/license/psfrag b/options/license/psfrag index 4d63df6bbd..a6f0926629 100644 --- a/options/license/psfrag +++ b/options/license/psfrag @@ -1,6 +1,4 @@ -psfrag.dtx - -Copyright (C) 1996 Craig Barratt, Michael C. Grant, and David Carlisle. +psfrag.dtx Copyright (C) 1996 Craig Barratt, Michael C. Grant, and David Carlisle. All rights are reserved. |