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 /NEWS | |
parent | 1504bab14f90261bf7ea04fdf9750d0a494f83bf (diff) |
fix texinfo listing problem
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions