diff options
| -rw-r--r-- | debian/copyright | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/copyright b/debian/copyright index 3cee716ba..bbb6d5192 100644 --- a/debian/copyright +++ b/debian/copyright @@ -80,7 +80,7 @@ Files: polygen.pm, pagestats.pm Copyright: © 2006 Enrico Zini License: GPL-2+ -Files: plugins/rst, plugins/proxy.py +Files: plugins/rst, plugins/proxy.py, plugins/pythondemo Copyright: © martin f. krafft <madduck@madduck.net> License: GPL-2 |