diff options
| author | Pierre-Marie Pédrot | 2014-07-15 15:46:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-15 15:46:48 +0200 |
| commit | ec94edf830ff9676c43c86f0eb9038c4bd205f62 (patch) | |
| tree | 9209e97aba49e91aa25b54631727f7264265f730 /doc/stdlib | |
| parent | 737b01ab2db22762a8013b40a69dfd1d77da1fcd (diff) | |
Using the generic timeout function in the boostrapped file.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions