diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 09:15:30 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 09:15:30 -0400 |
| commit | 41d140c8bd2c14a724f798164e9c206bf865e528 (patch) | |
| tree | 38ad73ada2f800610cce4629b486ddbd4cc2cafc /doc/Makefile | |
| parent | 3c30ab07df4428fcb89dbd9f050adfa3b2661810 (diff) | |
shortened names
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions