diff --git a/users/christophermanning.json b/users/christophermanning.json new file mode 100644 index 00000000..6311eb6e --- /dev/null +++ b/users/christophermanning.json @@ -0,0 +1 @@ +{"copyright":"Christopher Manning, http:\/\/www.christophermanning.org\/","url":"http:\/\/www.christophermanning.org\/"} \ No newline at end of file