diff options
author | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:23:52 +0000 |
---|---|---|
committer | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:23:52 +0000 |
commit | 25bfeadce997376b9bafbb7dfbeb8ee2f4924b6a (patch) | |
tree | bdfe416ccf039e1042b504fbfd8882c9f239e576 /doc/config.mk.in | |
parent | 7dd5d9fdf19c9494fac778834fa1e707cc265df4 (diff) |
Remove --no-implicit-prelide flag
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions