diff options
author | 2018-10-03 17:41:29 -0400 | |
---|---|---|
committer | 2018-10-03 17:42:20 -0400 | |
commit | 5958769b2c9463f2c8da85a380da1ec439354a10 (patch) | |
tree | b19cbbe70de56e2c690e921b00ea325031adc354 /build/external | |
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')
0 files changed, 0 insertions, 0 deletions