diff --git a/users/studer.json b/users/studer.json new file mode 100644 index 00000000..c75e9716 --- /dev/null +++ b/users/studer.json @@ -0,0 +1 @@ +{"copyright":"Th\u00e9ophile Studer"} \ No newline at end of file