diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-10-15 18:07:05 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:48 +0200 |
commit | a60c7eade7c3428424968b55afc5bb4b4a1ced29 (patch) | |
tree | 904671611e671d573d4657770415b918b4c9229b /doc | |
parent | cd299e3d4e533730b5a26e32caf63902f6f8e3fc (diff) |
2006-10-15 Thomas Schwinge <tschwinge@gnu.org>
* i386/include/Makefile.in: Remove unused file. Thanks to Guillem
Jover for spotting this.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions