Merge pull request #1341 from leoredi/master

Create fredi.json
remy · May 11, 2019 · 84854cd · 84854cd
2 parents a4715ec + 80100d5
commit 84854cd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/users/fredi.json b/users/fredi.json
@@ -0,0 +1 @@
+{"copyright":"Federico Leo Redi"}