diff --git a/StupidEmptyFile b/StupidEmptyFile new file mode 100644 index 0000000000000000000000000000000000000000..bb26806ee0bf2294627a77d4cd88d1efb668122c --- /dev/null +++ b/StupidEmptyFile @@ -0,0 +1 @@ +Only here to create a fake commit, to be able to have a fake Moore MR, and finally be able to test PRConfig changes.... pff...