• Home
Name Date Size #Lines LOC

..--

include/03-May-2024-1512

readmeD03-May-2024273 54

readme

1Git does not record empty directories. Create a dummy file in each directory
2here. Strictly speaking, putting dummy files in leaf directories should be
3sufficient, but adding them everywhere reduces the risk of repeating the same
4problem in case new directories are added.
5