diff options
| author |   Dave Barach <dave@barachs.net> | 2018-10-03 17:41:29 -0400 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2018-10-03 17:42:20 -0400 |
| commit | 5958769b2c9463f2c8da85a380da1ec439354a10 (patch) | |
| tree | b19cbbe70de56e2c690e921b00ea325031adc354 /build/external/deb/debian | |
| parent | 3f2e775e45e9c42819cd950a96135e83a00b8bbd (diff) | |
LISP ONLY: maintain the make-plugin.sh script
Make sure it's invoked in .../src/plugins
Change-Id: I85a05dbd863f3254c017962f635d505482548979
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build/external/deb/debian')
0 files changed, 0 insertions, 0 deletions