log deploy/src/archive.sh @ 1824:9a1e9d8d7bf0 plugin-path-config

age author description
Mon, 26 Feb 2018 14:30:37 +0000 Chris Cannam Add a note about the doc link
Thu, 05 May 2016 15:05:56 +0100 Chris Cannam Make archiver check & complain if the appropriate docs page returns a 404 3.0-integration
Tue, 05 Nov 2013 11:44:15 +0000 Chris Cannam Add script to archive from tag