Re: [EGIT PATCH 00/31] Push GUI, GUI improvements, various jgit stuff
- From
Shawn O. Pearce <spearce@spearce.org>
- Date
- Aug 25, 2008, 14:15 UTC
- Message-ID
- <20080825141506.GB25654@spearce.org>
- In-Reply-To
- <48B2BE1E.2020503@gmail.com>
Marek Zawirski <marek.zawirski@gmail.com> wrote:
Show 9 quoted lines
> Robin Rosenberg wrote: > >> I pushed the cleanups to pu using the Eclipse plugin(!) built from that >> version. You may want to take a quick look before we declare it master. >> >> >> Nice work Marek! > > Nice to hear that:)
I used the plugin to push itself to master. Your changes are in the main tree. Yay!
-- Shawn.