More tweaks to the website.
[monkeysphere.git] / website / index.mdwn
index 8038dd3096b3f608003162e6bf49c58d89ab481a..853c75b88635417c07fb33a3dc7d3a25f3f291bc 100644 (file)
@@ -9,8 +9,7 @@ yourself and the servers you administer or connect to.  OpenPGP keys
 are tracked via GnuPG, and managed in the `known_hosts` and
 `authorized_keys` files used by OpenSSH for connection authentication.
 
-[[bugs]] | [[download]] | [[news]] | [[documentation|doc]] |
-[[development|dev]]
+[[bugs]] | [[download]] | [[news]] | [[documentation|doc]]
 
 ## Conceptual overview ##