'tools.word-timer' sounds like a good bet, I'll make a change and put it in my master branch. (although won't get a chance until tomorrow now - need some sleep!)
Cheers, Phil Slava Pestov wrote: > Sure. Since you put it in a branch, I wasn't sure if you intended this > to go into the tree or not. Although as a stylistic issue, I would > suggest that it be renamed to word-timer, or perhaps tools.word-timer. > That's minor, though. > > Slava > > On Fri, Jul 11, 2008 at 2:56 AM, Phil Dawes <[EMAIL PROTECTED]> wrote: >> Great - thanks Alfredo. >> I've pulled your fix into my branch >> >> git pull http://phildawes.net/2008/factor.git/ wordtimer >> >> Slava: any chance wordtimer could go into master? (just as a stopgap >> until timed profiling goes into the factor profiler) >> >> Cheers, >> >> Phil > > ------------------------------------------------------------------------- > Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! > Studies have shown that voting for your favorite open source project, > along with a healthy diet, reduces your potential for chronic lameness > and boredom. Vote Now at http://www.sourceforge.net/community/cca08 > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk > ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
