diff --git a/users/fredi.json b/users/fredi.json new file mode 100644 index 00000000..32a1eca1 --- /dev/null +++ b/users/fredi.json @@ -0,0 +1 @@ +{"copyright":"Federico Leo Redi"}