diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-19 22:02:17 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-19 22:02:17 (GMT) |
| commit | 832f9227e1da51381ae5b9fb06499a564fc48ef0 (patch) | |
| tree | 7040af6f2f55750c994083ea8ad569878ec14634 /.version | |
| parent | 6b593896b0018bb5ed1e933e0d3e848b0c5af191 (diff) | |
Backport #698 from trunk:
Workaround makeinfo being picky at its input (we don't need documentation, do we?)
/branches/1.1/scripts/crosstool.sh | 7 7 0 0 +++++++
1 file changed, 7 insertions(+)
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions