diff options
| -rw-r--r-- | docs/Lexicon.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Lexicon.html b/docs/Lexicon.html index ae09837ecf..c6c3a81ab5 100644 --- a/docs/Lexicon.html +++ b/docs/Lexicon.html @@ -275,7 +275,7 @@ href="http://www.program-transformation.org/Transform/BURG">BURG</a> tool.</dd> </dl> </div> -</div> +</div> <!-- *********************************************************************** --> <hr> <address> <a href="http://jigsaw.w3.org/css-validator/check/referer"><img |