diff options
| author | Yoni Rabkin <yrk@gnu.org> | 2015-10-10 21:36:14 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yrk@gnu.org> | 2015-10-10 21:36:14 -0400 |
| commit | 277378d349e96c03289c038b47494c4f659b3b3b (patch) | |
| tree | aece5557e833fa0f59b074744cd85e9fc10deee5 /doc | |
| parent | cdd81a8546b1290206f03cb6784a0670d5ef537c (diff) | |
Rename to fit file naming convention.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions