diff options
Diffstat (limited to '')
| -rwxr-xr-x | extra/palaver/configure (renamed from contrib/palaver/configure) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/palaver/configure b/extra/palaver/configure
index 65c82fe..65c82fe 100755
--- a/contrib/palaver/configure
+++ b/extra/palaver/configure
|