Revision af8cdcc90ce588d1723d0dee085af7769dc50f4c

Committed on 30/07/2014 5:40 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Merge con fmach/ocoperatorscollection + operatore redirect erroneamente messo in fmach/ocsearchtools