diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2010-11-24 15:32:17 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-11-24 15:32:17 +0100 |
| commit | 69884e3149f61be476e0dfddcc731096cd1afca2 (patch) | |
| tree | 427bf5cb9c769192581cbf1b00b30b0de702f72c /docs/header.html | |
| parent | 610255e7e4361c786009dcc5c17be62286bea3e3 (diff) | |
Makefile: remove outdated flush target
Not needed any more as we've removed the shared config.cache handling.
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/header.html')
0 files changed, 0 insertions, 0 deletions