0000000000000000000000000000000000000000 26a6705733ebc25442661844f7ed75993bc41576 Carlo Bellettini <carlo.bellettini@unimi.it> 1478686835 +0100	branch: Created from master
26a6705733ebc25442661844f7ed75993bc41576 a4817cafe549407af40f7204ea3b5fe994855ed3 Carlo Bellettini <carlo.bellettini@unimi.it> 1478687168 +0100	merge feature/A0: Merge made by the 'recursive' strategy.
a4817cafe549407af40f7204ea3b5fe994855ed3 a7169b9f7786d18e7655eb425be7f39369f0bddd Carlo Bellettini <carlo.bellettini@unimi.it> 1478687689 +0100	merge v1: Merge made by the 'recursive' strategy.
