Revision e0dfefbe335f0bf1dd738bcd78085c4edf1759e5

Committed on 08/12/2020 4:11 am by gggeek <giunta.gaetano@gmail.com> [GitHub Diff]

update tika; improve shell scripts