Closed GoogleCodeExporter closed 9 years ago
Thanks, I'll merge it in.
Original comment by faw...@gmail.com
on 26 Dec 2009 at 5:47
Merged, thanks!
http://github.com/Arora/arora/commit/4b302159ab20dd526ac3433d97ec57292df2ff3d
Original comment by faw...@gmail.com
on 27 Dec 2009 at 10:24
Issue 771 has been merged into this issue.
Original comment by faw...@gmail.com
on 27 Dec 2009 at 10:24
Original issue reported on code.google.com by
marciopa...@gmail.com
on 6 Dec 2009 at 3:03Attachments: