On 11/11/2011 8:22 PM, Jason House wrote:
I am ignorant about the interface with github, but can't you use git-reset to undo?
I don't know. _______________________________________________ dmd-internals mailing list dmd-internals@puremagic.com http://lists.puremagic.com/mailman/listinfo/dmd-internals
