Sat, 04 Aug 2018 12:55:17 +0100
Merge
jjg@1465 | 1 | BadEnd.java:14: warning: nested tag not allowed: <code> |
jjg@1455 | 2 | * <code> text <code> |
jjg@1455 | 3 | ^ |
jjg@2110 | 4 | BadEnd.java:14: warning: empty <code> tag |
jjg@2110 | 5 | * <code> text <code> |
jjg@2110 | 6 | ^ |
jjg@1465 | 7 | BadEnd.java:14: error: element not closed: code |
jjg@1455 | 8 | * <code> text <code> |
jjg@1455 | 9 | ^ |
jjg@1465 | 10 | BadEnd.java:14: error: element not closed: code |
jjg@1455 | 11 | * <code> text <code> |
jjg@1455 | 12 | ^ |
jjg@1465 | 13 | BadEnd.java:13: error: element not closed: a |
jjg@1455 | 14 | * <a name="here"> text <a> |
jjg@1455 | 15 | ^ |
jjg@1465 | 16 | BadEnd.java:13: error: element not closed: a |
jjg@1455 | 17 | * <a name="here"> text <a> |
jjg@1455 | 18 | ^ |
jjg@1455 | 19 | 4 errors |
jjg@2110 | 20 | 2 warnings |