Additional logging feature.
[jpf-core.git] / moreStatistics
diff --git a/moreStatistics b/moreStatistics
new file mode 100644 (file)
index 0000000..e69de29