comparison distinfo @ 26:4f95a4fd4d0a

Make PLUGIN_NAME the name of the output plugin now and let PLUGIN_SOURCE optionally specify the source. This seems more logical from the user's point of view. The PLUGIN_FILENAME_TAG variable has been removed.
author Franz Glasner <hg@dom66.de>
date Sun, 24 Sep 2017 16:07:04 +0200
parents db0648353d12
children 9b7ee2483282
comparison
equal deleted inserted replaced
25:db0648353d12 26:4f95a4fd4d0a