![(please configure the [header_logo] section in trac.ini)](/dynamico/chrome/site/your_project_logo.png){kind=logo}
source:
configs/testing
@
560
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| bash | 560 | 7 years | dubos | testing : fix some issues with auto-generated correctness report | |
| python | 520 | 7 years | dubos | Update to testing | |
| README | 3.3 KB | 509 | 8 years | dubos | testing : added README |
| setup.sh | 1.6 KB | 556 | 7 years | dubos | testing/setup.sh : fix path |
Note: See TracBrowser
for help on using the repository browser.
