Daniel Mach 6ccd1bc2cd Rename 'docs' directory to 'doc' ... This seems to be a more common directory name in the projects.		2022-03-16 15:19:24 +01:00
..
.keepme	Rename 'docs' directory to 'doc'	2022-03-16 15:19:24 +01:00