Mahdi Dibaiee 0aa03bb716 fix dates of pictures		2022-07-06 18:06:24 +01:00
..
functor-diagram.png	fix dates of pictures	2022-07-06 18:06:24 +01:00
not-a-cat.png	fix dates of pictures	2022-07-06 18:06:24 +01:00
tree.jpg	fix dates of pictures	2022-07-06 18:06:24 +01:00