diff options
| -rw-r--r-- | eclipse/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index 9fca8438a..50c9de24f 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -451,7 +451,7 @@ Once you have Xtext set up, you can clone the repository locally with <code>git <h4>Xtext version</h4> -<p>GFEP currently uses Xtext 2.1.0.</p> +<p>GFEP currently uses <strong>Xtext 2.1.0</strong>.</p> <h3>Running from source</h3> |