-
Andrea Diamantini authored
It's actually the same, but probably a bit more coherent. More over, we are going to change a lot of things in the HistoryManager class...
644c7c8c
It's actually the same, but probably a bit more coherent. More over, we are going to change a lot of things in the HistoryManager class...