Re: worg changes

2020-11-02 Thread Kyle Meyer
ian martins writes: > Thanks. I pushed. The docs for java are here [1]. > > It looks like many of the language pages don't pick up their formatting. > Mine did the same at first. Is it fine if I fix them? Yes, please, and in general feel free to make improvements and fixes. Thanks.

Re: worg changes

2020-10-30 Thread ian martins
Thanks. I pushed. The docs for java are here [1]. It looks like many of the language pages don't pick up their formatting. Mine did the same at first. Is it fine if I fix them? The =#+HTML_HEAD:= property breaks them. I suspect that it's existence blocks the page from picking up the default css

Re: worg changes

2020-10-29 Thread Kyle Meyer
ian martins writes: > I've written some documentation for ob-java for worg. Should I submit a > patch or is it fine to just push? it doesn't modify any existing files. It's fine to just push.

worg changes

2020-10-29 Thread ian martins
I've written some documentation for ob-java for worg. Should I submit a patch or is it fine to just push? it doesn't modify any existing files. I've seen this question come up on this list before but I haven't seen an answer. Also I couldn't find the answer on worg [1]. one note: I tweaked the css