[tode_st] merge into master

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[tode_st] merge into master

Dale Henrichs-3
Just a handful of changes that are ready for public consumption:

62d169c 83 minutes ago Merge branch 'dev' of github.com:dalehenrich/tode into dev
a10e4fd 84 minutes ago add way to evaluate commands from client without opening a console window
25c2ad8 3 days ago bullet proof project registrations some more
1557b9a 3 days ago take gemstone 3.3 into account
ac20d78 3 days ago Merge branch 'dev'


You received this message because you are subscribed to the Google Groups "tODE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.