diff options
author | Yoni Rabkin <yoni@rabkins.net> | 2020-05-27 11:18:32 -0400 |
---|---|---|
committer | Yoni Rabkin <yoni@rabkins.net> | 2020-05-27 11:18:32 -0400 |
commit | 59cc585cfad3c2f666006e4b1c049dfa676fffd4 (patch) | |
tree | d7b04ed90ad43ea75db6fa52b97d0330e48145c7 /doc | |
parent | 27bf18f4f138503f67151c2ad31d07cee3dccbb8 (diff) |
* Makefile: generate a dir info file
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions