diff options
author | Chris Johns <chrisj@rtems.org> | 2017-01-13 15:38:22 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-01-13 15:38:22 +1100 |
commit | 4d79df2415a9a82925c1f127ef4e4bdcc39d2b94 (patch) | |
tree | 63bd388f92938aaaa0597f81953a1c38a285ac63 | |
parent | c506b01774cadedd73c55f0dbaa05c749105018f (diff) |
Fix branches.html <div> tags.
-rw-r--r-- | docs.rtems.org/cat-branches.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs.rtems.org/cat-branches.html b/docs.rtems.org/cat-branches.html index 34db38d..291f82f 100644 --- a/docs.rtems.org/cat-branches.html +++ b/docs.rtems.org/cat-branches.html @@ -12,8 +12,9 @@ <div class="panel panel-default"> <div class="panel-body"> @BRANCHES@ + </div> </div> - </div> + </div> <!-- Load the catalogues and generate the content --> <script type="text/javascript" src="static/rtems/js/catalogue.js"></script> @BRANCHES_SCRIPTS@ |