archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-09-16 00:54:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

8224257: fix issues in files generated by pandoc

Browse source 
Reviewed-by: mchung
This commit is contained in:
Jonathan Gibbons 2019-06-07 16:38:42 -07:00
parent 7d3e1081a9
commit c6783a9362
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
make/jdk/src/classes/build/tools/fixuppandoc/Main.java
View file

@ -558,7 +558,7 @@ public class Main {
out.write(style);
out.write(m.group("after"));
} else {
out.write(" style=\"font-weight: normal; text-align:left\"; ");
out.write(" style=\"font-weight: normal; text-align:left;\" ");
out.write(attrs);
}
out.write(" scope=\"row\"");