From 35086e8506514964106348f7cf211f1f58172340 Mon Sep 17 00:00:00 2001
From: zooko <>
Date: Mon, 15 Oct 2007 18:23:50 +0000
Subject: [PATCH] rename a section -- nejucomo, I would be open to other naming
 suggestions

[Imported from Trac: page Dev, version 41]
---
 Dev.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dev.md b/Dev.md
index 40db285..41e4a7c 100644
--- a/Dev.md
+++ b/Dev.md
@@ -24,7 +24,7 @@ Views into the process of Tahoe hackery.
 
  * [The Extension Page](Extensions) lists extension projects and extension development resources.
 
-## Repository Resources
+## Source Code Tools
 
  * The Buildbot page (linked at the top of each page) shows current build and test results.