-
Nils Goroll authoredI think statistics are good at this point and timeouts do not sound like a good idea to me any more: What are we going to do when a timeout is hit?
| Name |
Last commit
|
Last update |
|---|---|---|
| LICENSES | ||
| logs | ||
| src | ||
| tools/coccinelle | ||
| .editorconfig | ||
| .gitignore | ||
| BUGS.rst | ||
| CHANGES.rst | ||
| COPYING | ||
| DEVELOPER.rst | ||
| INSTALL.rst | ||
| Makefile.am | ||
| README.rst | ||
| bootstrap | ||
| configure.ac |