On Tue, 15 May 2018, David Malcolm wrote:
> Possibly a silly question, but why can't we just change all the
> headers in the site source to be this?
>
> Is is something to do with the conversion toolchain?
Yes. Though having spent the last hour looking into this in more
detail, I believe we can
On Mon, 14 May 2018, Martin Sebor wrote:
>> Martin, what do you think? Would that have avoided the challenges
>> your ran into? Anything to better clarify or otherwise improve?
> Thanks for the improvement! I think it will help going forward
Great, I (finally) committed this now, business trave
On Sun, 2018-05-13 at 22:19 -0600, Gerald Pfeifer wrote:
> This is triggered by a report from Martin who rightfully pointed
> out that it's not straightforward to validate wwwdocs changes before
> committing a change.
>
> Martin, what do you think? Would that have avoided the challenges
> your
On 05/13/2018 10:19 PM, Gerald Pfeifer wrote:
This is triggered by a report from Martin who rightfully pointed
out that it's not straightforward to validate wwwdocs changes before
committing a change.
Martin, what do you think? Would that have avoided the challenges
your ran into? Anything to
This is triggered by a report from Martin who rightfully pointed
out that it's not straightforward to validate wwwdocs changes before
committing a change.
Martin, what do you think? Would that have avoided the challenges
your ran into? Anything to better clarify or otherwise improve?
Gerald
