diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2021-04-21 07:48:38 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2021-04-21 07:48:38 -0400 |
| commit | 725feceb896b3a70b0988f32eeee0d79ca102521 (patch) | |
| tree | 25a2fbce8f1f26d503a34263ae4d92b6335fb333 /doc/Makefile | |
| parent | a51ac5b1fa967413d81530a722a5866eb43c4e4b (diff) | |
* Makefile: no longer needed
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions