diff options
author | Yoni Rabkin <yrk@gnu.org> | 2016-07-09 12:33:04 -0400 |
---|---|---|
committer | Yoni Rabkin <yrk@gnu.org> | 2016-07-09 12:33:04 -0400 |
commit | bec63d3ea62dafc4158c35abdf7e9180419a3f78 (patch) | |
tree | 2207af4d3cb90499dec2c3123174134f471276d3 /doc/developer-release.txt | |
parent | 56373a1752582edbd0cb9881cf843d9f87cfcf56 (diff) |
* Makefile: add .info suffix.
Bug submitted by Alex Vong <alexvong1995@gmail.com>.
Diffstat (limited to 'doc/developer-release.txt')
0 files changed, 0 insertions, 0 deletions