diff options
author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-04-10 20:34:20 +0700 |
---|---|---|
committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-04-10 20:34:20 +0700 |
commit | 9c62d17de4f69c5cd4c4c35a3ab2d1263109e163 (patch) | |
tree | f999399074e0352c4704edb84dd5d92f19a68813 /ajde.core | |
parent | 51198de4ddc7521530ad49058df3f2e8c80ec981 (diff) | |
download | aspectj-9c62d17de4f69c5cd4c4c35a3ab2d1263109e163.tar.gz aspectj-9c62d17de4f69c5cd4c4c35a3ab2d1263109e163.zip |
Fix image formatting glitch in docs/devGuideDB/ajbrowser.xml
An image which should be in its own paragraph was shown inline with the
text, somewhere to the right in the middle of a text paragraph. I
noticed while visually checking if docs generation still works as
expected after the last few commits, so I quickly fixed it.
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'ajde.core')
0 files changed, 0 insertions, 0 deletions