diff options
| author | Thomas Boerger <thomas@webhippie.de> | 2017-03-15 13:30:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-15 13:30:16 +0100 |
| commit | 42032fdecf81c25cb4aa477ddf9a0207e85f571a (patch) | |
| tree | f7cf4207da34eb4eeb9b57caaaa78e7aba461130 /options/license/dvipdfm | |
| parent | a06c3ad2c02a5473184711be6dbf1b30f0299e11 (diff) | |
| download | gitea-42032fdecf81c25cb4aa477ddf9a0207e85f571a.tar.gz gitea-42032fdecf81c25cb4aa477ddf9a0207e85f571a.zip | |
Synced licenses with github repo (#1246)
* Added script to download licenses from github
* Synced licenses with github repo
Diffstat (limited to 'options/license/dvipdfm')
| -rw-r--r-- | options/license/dvipdfm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/license/dvipdfm b/options/license/dvipdfm new file mode 100644 index 0000000000..b73cb48e47 --- /dev/null +++ b/options/license/dvipdfm @@ -0,0 +1 @@ +A modified version of this file may be distributed, but it should be distributed with a *different* name. Changed files must be distributed *together with a complete and unchanged* distribution of these files. |