Revision 44dc10d5f338fb2ec89b89105dfc501260d0dd2d

Committed on 18/02/2020 1:55 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

add tpl operator