diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-01-30 15:37:46 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-01-30 20:13:43 +0100 |
| commit | 7af45b8ae07cce97c6f72245c13fbeb355eeaea5 (patch) | |
| tree | 8442247f0d0de22b03ff3932edeca3efa61d4421 /package/divine/Config.in | |
| parent | 43d7e91f28b15927b2794c31da88e65b2d5f14fc (diff) | |
Update documentation about external toolchain
Reword the documentation on external toolchain to take into account
the new features added since 2010.11 concerning external toolchain
profiles.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/divine/Config.in')
0 files changed, 0 insertions, 0 deletions