diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2016-03-23 08:48:54 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2016-03-23 08:48:54 (GMT) |
| commit | 9ac95b002e2b6c6b66c04d1964c22ccc25d4e883 (patch) | |
| tree | b0161213dc1c5bc4e7c684ce7a695000e35bcf1f /.settings | |
| parent | 4fa57e693d3fd91d3be6e3ae92244008e00990d1 (diff) | |
| download | tcl-9ac95b002e2b6c6b66c04d1964c22ccc25d4e883.zip tcl-9ac95b002e2b6c6b66c04d1964c22ccc25d4e883.tar.gz tcl-9ac95b002e2b6c6b66c04d1964c22ccc25d4e883.tar.bz2 | |
Fix [7d0db7c388f52de8]: Occasional build failures with parallel make. Thanks to Jaroslav Škarvada for bug report and fix.
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions