diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-01-14T13·55+0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-01-14T13·55+0000 |
| commit | 3854fc9b42d16b810f62b64194b699033b03aaf1 (patch) | |
| tree | 0b0448a588ef3b5d1c80cec1ed7250d37f125fdf /src/libmain/shared.hh | |
| parent | 812fae424ee7139cf9bc0d17815ee68aa3cab517 (diff) | |
Remove useless <config.h> inclusion from public header.
Diffstat (limited to 'src/libmain/shared.hh')
0 files changed, 0 insertions, 0 deletions