Revision 520da788faf79f8af494c996cefe4168a0dd5ee5

Committed on 30/01/2020 3:28 pm by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Remove uri_basename from legend