diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2012-04-17 04:45:32 +0000 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-04-25 09:47:40 +0200 |
| commit | 792976053fcd13eb45bd1ee3ede7fe8bddcc2baa (patch) | |
| tree | 168b120c439cd335676693689d4af7e8a2867310 /docs/stylesheet.css | |
| parent | ce1acfb5eae64e8042016ec36cf4973fbec707ca (diff) | |
gcc: remove unused EXTRA_GCC1_CONFIG_OPTIONS
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/stylesheet.css')
0 files changed, 0 insertions, 0 deletions