diff options
author | R. Bernstein <rocky@gnu.org> | 2010-05-11 13:34:27 -0400 |
---|---|---|
committer | R. Bernstein <rocky@gnu.org> | 2010-05-11 13:34:27 -0400 |
commit | ba610a057559613fbebf8579359e44d3c892e250 (patch) | |
tree | 25f2cd9e268a68a3cda1d8eba8262e86061605bd /AUTHORS | |
parent | 7d52ffcac04e9c7ed2915e7aafe2c8fdcab7de0a (diff) |
Silence another GCC warning. Thanks to Thomas Schmitt for this.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions