On Mon, May 14, 2018 at 2:11 AM, sebb wrote:
> On 14 May 2018 at 03:16, Rob Tompkins wrote:
> >
> >
> >> On May 13, 2018, at 9:07 PM, Gary Gregory
> wrote:
> >>
> >> Hi Rob and all:
> >>
> >> I was happily surprised to see that the release plugin created a site
> zip
> >> file in the dev folder
On 14 May 2018 at 03:16, Rob Tompkins wrote:
>
>
>> On May 13, 2018, at 9:07 PM, Gary Gregory wrote:
>>
>> Hi Rob and all:
>>
>> I was happily surprised to see that the release plugin created a site zip
>> file in the dev folder.
>>
>> This is most handy want you want to unzip the site and put on
> On May 13, 2018, at 9:07 PM, Gary Gregory wrote:
>
> Hi Rob and all:
>
> I was happily surprised to see that the release plugin created a site zip
> file in the dev folder.
>
> This is most handy want you want to unzip the site and put on your home
> folder for an RC.
>
> But now I wonder
Hi Rob and all:
I was happily surprised to see that the release plugin created a site zip
file in the dev folder.
This is most handy want you want to unzip the site and put on your home
folder for an RC.
But now I wonder if we should not simply copy the full non-zipped site to
dev, such that one
