diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-08-10 10:48:56 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-08-10 10:48:56 -0400 |
| commit | 4ab64fbedb612b9ff5ce0be676fa878024befb6b (patch) | |
| tree | 7a3bbc23a2615733115fd09aa7a59f47fea76981 /.gitignore | |
| parent | 1504bab14f90261bf7ea04fdf9750d0a494f83bf (diff) | |
fix texinfo listing problem
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions