On Mon, Oct 21, 2013 at 12:15 AM, Matt Wilkie <email address hidden> wrote:
> Matt Wilkie has proposed merging lp:~maphew/leo-editor/doc-edits into > lp:leo-editor. >
Thanks for the edits. I'll review them and merge by hand into LeoDocs.leo.
Edward
« Back to merge proposal
On Mon, Oct 21, 2013 at 12:15 AM, Matt Wilkie <email address hidden> wrote:
> Matt Wilkie has proposed merging lp:~maphew/leo-editor/doc-edits into
> lp:leo-editor.
>
Thanks for the edits. I'll review them and merge by hand into LeoDocs.leo.
Edward