diff options
Diffstat (limited to 'Master/texmf-dist/source/fonts/fpl/AddGPL')
-rw-r--r-- | Master/texmf-dist/source/fonts/fpl/AddGPL | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/fonts/fpl/AddGPL b/Master/texmf-dist/source/fonts/fpl/AddGPL new file mode 100644 index 00000000000..5b1aea454b5 --- /dev/null +++ b/Master/texmf-dist/source/fonts/fpl/AddGPL @@ -0,0 +1,2 @@ +# Add reference to GPL to string +return $1+" See the file COPYING (GNU General Public License) for license conditions."; |