diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt new file mode 100644 index 000000000..955e6a368 --- /dev/null +++ b/CONTRIBUTORS.txt @@ -0,0 +1,4 @@ +Please add here your name in alphabetical order (first name) if you contributed with + +- Andrea Crotti +- James Ferguson