commit 3a38831da29455a540005df7d1a91042135b5eed
author David Pursehouse <david.pursehouse@sonymobile.com> Tue Feb 25 16:41:47 2014 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> Tue Feb 25 16:41:57 2014 +0900
tree 7ef2e999ce40c8cfec4519b35051a42149c57c37
parent 6a88c2fcb8c0f66d9c077a7aedd907c0b49caecf

Fix a typo in dev-plugins.txt

Change-Id: I4a8f136c2712c7cf482b632f7c10776b0ce01114

Documentation/dev-plugins.txt

diff --git a/Documentation/dev-plugins.txt b/Documentation/dev-plugins.txt
index e0824ca..c59f0e9 100644
--- a/Documentation/dev-plugins.txt
+++ b/Documentation/dev-plugins.txt
@@ -1511,7 +1511,7 @@
 ----
 
 If a GWT plugin wants to invoke the Gerrit REST API it can use
-`com.google.gerrit.plugin.client.rpc.RestApi` to contruct the URL
+`com.google.gerrit.plugin.client.rpc.RestApi` to construct the URL
 path and to trigger the REST calls.
 
 Example for invoking a Gerrit core REST endpoint: