diff --git a/users/koeberle.json b/users/koeberle.json new file mode 100644 index 00000000..9319b5e6 --- /dev/null +++ b/users/koeberle.json @@ -0,0 +1 @@ +{"copyright":"Andreas K\u00f6berle"} \ No newline at end of file