Just some stupid cleaning on HistoryManager before starting seriously working on...
authorAndrea Diamantini <adjam7@gmail.com>
Wed, 21 Jul 2010 11:11:02 +0000 (13:11 +0200)
committerAndrea Diamantini <adjam7@gmail.com>
Wed, 21 Jul 2010 11:11:02 +0000 (13:11 +0200)
commit272e6c2b548ff8232318a42522bf7bfc37b05df0
treeb78c47692dc929202303d0347301729b93554880
parent644c7c8c062228c760b490838748c5f14547ff1c
Just some stupid cleaning on HistoryManager before starting seriously working on...
src/history/historymanager.cpp
src/history/historymanager.h