diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-11 08:32:16 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-11 08:32:16 +0000 |
| commit | 28e11999e2460f8e8bf5f33a91b40537464d0691 (patch) | |
| tree | f637d838c17275eddc47afacc5737fac4a837021 /eclipse/index.html | |
| parent | 8a7fac37f0f2ea2973e8f384ca2d573b515ec36f (diff) | |
GFEP: updated readme
Diffstat (limited to 'eclipse/index.html')
| -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> |