Ripristinate statistics
commitd368cb595a1c42058f5071abe52c224fcdbba602
authorNicolò Navarin <nickgentoo@gmail.com>
Tue, 15 Sep 2009 15:32:01 +0000 (15 17:32 +0200)
committerNicolò Navarin <nickgentoo@gmail.com>
Tue, 15 Sep 2009 15:32:01 +0000 (15 17:32 +0200)
treea5098057181d63b10752d3cd9c6617d1b88b0c68
parent5ac05aa4f9148019fc1c3cbdf068bd1df52a28b4
Ripristinate statistics
src/simulator-statistics.ads
src/simulator.ads