Stand-alone command line version of the profiling tool (will be merged with the…

Stand-alone command line version of the profiling tool (will be merged with the profiling tool later on).

Stand-alone command line version of the profiling tool (will be merged with the…
Stand-alone command line version of the profiling tool (will be merged with the profiling tool later on).
1d306f5d · Thomas Mueller · c312a2dd · 1d306f5d
--- a/h2/src/tools/org/h2/dev/util/Profile.java
+++ b/h2/src/tools/org/h2/dev/util/Profile.java