diff options
Diffstat (limited to 'extensions/strip-gplv3.configure')
| -rwxr-xr-x | extensions/strip-gplv3.configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extensions/strip-gplv3.configure b/extensions/strip-gplv3.configure index 0c5250e4..e88e5c3f 100755 --- a/extensions/strip-gplv3.configure +++ b/extensions/strip-gplv3.configure @@ -24,6 +24,7 @@ to find the files created by that chunk, then remove them. import json import os import re +import subprocess import sys import writeexts |