# This file contains a plugin licensing amendment shown by clicking
# on "Help" menu - jEdit Help
jedit: extra-license-file usr/share/doc/jedit/COPYING.PLUGINS.txt
