Rename diff to diff.md

This commit is contained in:
2023-02-20 13:26:56 +01:00
committed by GitHub
parent 39909b2987
commit 64a76f137c