# HG changeset patch # User JD Walsh # Date 1414850916 14400 # Node ID 544d051b45e48724f358750028d1b49dd7265af4 # Parent 0c81f22bc32bf7c15273c9161d4c7cb00167c9ae Added more details to `developers.html' page diff -r 0c81f22bc32b -r 544d051b45e4 htdocs/developers.html --- a/htdocs/developers.html Tue Oct 28 18:03:04 2014 +0000 +++ b/htdocs/developers.html Sat Nov 01 10:08:36 2014 -0400 @@ -14,7 +14,7 @@ -