Just wanted to tell you that I merged the profiler branch so that the git master branch has the ProfileTools package and the gst-profile tool.
Thanks to Derek for the contribution! Paolo _______________________________________________ help-smalltalk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-smalltalk
