diff options
Diffstat (limited to '')
-rwxr-xr-x | build-aux/potomo (renamed from scripts/potomo) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/potomo b/build-aux/potomo index b4c0a6b5c..b4c0a6b5c 100755 --- a/scripts/potomo +++ b/build-aux/potomo |