chiark / gitweb /
Also update the package script for new plugin/resource directories.
authordaid <daid303@gmail.com>
Wed, 12 Feb 2014 12:01:55 +0000 (13:01 +0100)
committerdaid <daid303@gmail.com>
Wed, 12 Feb 2014 12:01:55 +0000 (13:01 +0100)
commit0369ad830ed6f684468b383c01551a8ec8f6d610
treeeeac2a2d927bf6ed8cefdf34bcc5b5f488e69b19
parentc9ba5d1049a427e295ebc5ec4239efae75bd0bd4
Also update the package script for new plugin/resource directories.
package.sh