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 /.gitignore | |
| parent | 56373a1752582edbd0cb9881cf843d9f87cfcf56 (diff) | |
* Makefile: add .info suffix.
Bug submitted by Alex Vong <alexvong1995@gmail.com>.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions