move notes to relevant dir

This commit is contained in:
Kevin Buzzard
2023-08-26 13:44:04 +01:00
parent c22fbb6829
commit 4f9977b1d2