diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-07-31 14:49:05 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-07-31 14:49:05 -0400 |
| commit | 0c68b628835e4c211abb22cc6eb2cf3cb0f4d15a (patch) | |
| tree | 13b73f637b7978f4dfe170f694320906605fb157 /doc/Makefile | |
| parent | 1629dd320e459d740a2e67d4698817fc0f03e47d (diff) | |
add "this file is a part of..."
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions